Skip to content

Actions: verse-lab/loom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 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
Add an inline annotation Lean Action CI #75: Commit 6968318 pushed by zqy1018
5m 25s assume-with-hyp
assume-with-hyp
5m 25s
Add extraction rules for dependent assume Lean Action CI #74: Commit a6ad596 pushed by zqy1018
50s assume-with-hyp
assume-with-hyp
50s
Extend MonadFlatMap'; add more specialized extraction rules Lean Action CI #73: Commit a8f7993 pushed by zqy1018
8m 4s v4.32.0-for-veil
v4.32.0-for-veil
8m 4s
Give priority to extraction rules Lean Action CI #72: Commit 7381f18 pushed by zqy1018
7m 8s v4.32.0-for-veil
v4.32.0-for-veil
7m 8s
Update test case Lean Action CI #71: Commit 7cfb931 pushed by zqy1018
8m 19s v4.32.0-for-veil
v4.32.0-for-veil
8m 19s
Update test case Lean Action CI #70: Commit 7cfb931 pushed by zqy1018
7m 22s v4.32.0-for-veil
v4.32.0-for-veil
7m 22s
Optimize for common case Lean Action CI #69: Commit 17f4bff pushed by zqy1018
44s v4.32.0-for-veil
v4.32.0-for-veil
44s
Skip log prepending in certain cases Lean Action CI #68: Commit 36754e6 pushed by zqy1018
10m 45s v4.32.0-for-veil
v4.32.0-for-veil
10m 45s
Port to module system Lean Action CI #67: Commit 27c03ba pushed by zqy1018
7m 36s v4.32.0-for-veil
v4.32.0-for-veil
7m 36s
Port to module system Lean Action CI #66: Commit 27c03ba pushed by zqy1018
5m 47s qiyuan/v4.32.0-for-veil-no-mathlib
qiyuan/v4.32.0-for-veil-no-mathlib
5m 47s
Further reuse Lean's built-in definitions Lean Action CI #65: Commit b6e457f pushed by zqy1018
5m 9s qiyuan/v4.32.0-for-veil-no-mathlib
qiyuan/v4.32.0-for-veil-no-mathlib
5m 9s
Reuse Lean standard order and log laws in standalone foundations Lean Action CI #64: Commit 294dc76 pushed by dranov
7m 21s george/v4.32.0-for-veil-no-mathlib
george/v4.32.0-for-veil-no-mathlib
7m 21s
Restore conventional scoped mathematical notation Lean Action CI #63: Commit 0ccd793 pushed by dranov
7m 29s george/v4.32.0-for-veil-no-mathlib
george/v4.32.0-for-veil-no-mathlib
7m 29s
Restore PeDivM's log-first universe parameter order Lean Action CI #62: Commit 8e2db2a pushed by dranov
7m 44s george/v4.32.0-for-veil-no-mathlib
george/v4.32.0-for-veil-no-mathlib
7m 44s
Record completed Loom migration and defer Veil validation Lean Action CI #61: Commit aec088d pushed by dranov
7m 19s george/v4.32.0-for-veil-no-mathlib
george/v4.32.0-for-veil-no-mathlib
7m 19s
chore: let the caller decide whether to inline lets Lean Action CI #60: Commit cea519c pushed by zqy1018
3m 47s v4.32.0-for-veil
v4.32.0-for-veil
3m 47s
fix: properly order tactics to preserve lets in extraction Lean Action CI #59: Commit 557b04f pushed by zqy1018
2m 38s v4.32.0-for-veil
v4.32.0-for-veil
2m 38s
fix: preserve lets in extraction Lean Action CI #58: Commit 6afa462 pushed by zqy1018
2m 43s v4.32.0-for-veil
v4.32.0-for-veil
2m 43s
Disable unbuildable case-study libraries on the Veil-support branch Lean Action CI #57: Pull request #35 opened by larskuhtz
2m 48s larskuhtz:upgrade-v4.28-lakefile-fix
larskuhtz:upgrade-v4.28-lakefile-fix
2m 48s
chore: get rid of warnings Lean Action CI #56: Commit ee22f27 pushed by dranov
2m 47s v4.32.0-for-veil
v4.32.0-for-veil
2m 47s
chore: update to Lean v4.32.0 Lean Action CI #55: Commit 6fa64c8 pushed by dranov
2m 23s v4.32.0-for-veil
v4.32.0-for-veil
2m 23s
minor fixes Lean Action CI #54: Commit 611411b pushed by zqy1018
2m 47s upgrade-v4.29-for-veil
upgrade-v4.29-for-veil
2m 47s
bump to Lean v4.29.0 Lean Action CI #53: Commit 71b9c95 pushed by zqy1018
2m 9s upgrade-v4.29-for-veil
upgrade-v4.29-for-veil
2m 9s
Upgrate to 4.28 (primary change: Std.Range -> Std.Legacy.Range) Lean Action CI #52: Commit d7fd586 pushed by zqy1018
2m 35s upgrade-v4.28
upgrade-v4.28
2m 35s
fix: use List.flatMap without @[specialize] to reduce code bloating Lean Action CI #50: Commit 5dabf9f pushed by zqy1018
2m 39s temp-extract-list-v4.27.0-for-veil
temp-extract-list-v4.27.0-for-veil
2m 39s