Skip to content

Actions: frangio/thyme

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
test spliced instances in Nat and Int recursion (#1) Lean Action CI #21: Commit 4365d2f pushed by frangio
30s master
master
30s
test spliced instances in Nat and Int recursion (#1) Lean Action CI #20: Commit c05c396 pushed by frangio
23s master
master
23s
test spliced instances in Nat and Int recursion (#1) Lean Action CI #19: Commit f6932d1 pushed by frangio
29s master
master
29s
test spliced instances in Nat and Int recursion Lean Action CI #18: Pull request #1 synchronize by frangio
18s agostbiro:test-spliced-instance-recursion
agostbiro:test-spliced-instance-recursion
18s
fix broken pattern elaboration due to deferred actions Lean Action CI #17: Commit d7e7473 pushed by frangio
40s master
master
40s
test spliced instances in Nat and Int recursion Lean Action CI #16: Pull request #1 opened by agostbiro
1d 1h 38m 51s agostbiro:test-spliced-instance-recursion
agostbiro:test-spliced-instance-recursion
1d 1h 38m 51s
improve inference around Code universe Lean Action CI #15: Commit 61a41e6 pushed by frangio
29s meta
meta
29s
improve heterogeneous do Lean Action CI #14: Commit 04e6739 pushed by frangio
40s meta
meta
40s
make spliced instances available to synthesis Lean Action CI #13: Commit 4e89fa7 pushed by frangio
32s master
master
32s
fix delaboration of Code Lean Action CI #12: Commit 1ed65c5 pushed by frangio
25s master
master
25s
add core concepts in readme Lean Action CI #11: Commit 48776dc pushed by frangio
36s master
master
36s
improve support for universe-polymorphic staging Lean Action CI #10: Commit ffea381 pushed by frangio
39s master
master
39s
improve support for universe-polymorphic staging Lean Action CI #9: Commit 3cd3fc4 pushed by frangio
35s master
master
35s
improve diagnostic on missing [Staged] parameter Lean Action CI #8: Commit cdaf863 pushed by frangio
54s master
master
54s
rename level back to stage Lean Action CI #7: Commit 9cb2806 pushed by frangio
47s master
master
47s
fix expected type propagation in root splices Lean Action CI #6: Commit ccabed3 pushed by frangio
41s master
master
41s
clean up imports Lean Action CI #5: Commit 42df94e pushed by frangio
1m 2s master
master
1m 2s
add installation section Lean Action CI #4: Commit 3b81477 pushed by frangio
30s master
master
30s
add installation section Lean Action CI #3: Commit 8a83104 pushed by frangio
34s master
master
34s
add installation section Lean Action CI #2: Commit 5f5048f pushed by frangio
34s master
master
34s
add installation section Lean Action CI #1: Commit a39d095 pushed by frangio
50s master
master
50s