Skip to content

Actions: leanprover-community/quote4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump to Lean v4.6.0-rc1 and add tests for #31 ci #188: Pull request #32 synchronize by eric-wieser
February 2, 2024 21:42 39s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
February 2, 2024 21:42 39s
Update lean-toolchain ci #187: Commit a1d9c11 pushed by eric-wieser
February 2, 2024 21:42 35s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
February 2, 2024 21:42 35s
Bump to Lean v4.6.0-rc1 and add tests for #31 ci #186: Pull request #32 synchronize by eric-wieser
February 2, 2024 21:40 12s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
February 2, 2024 21:40 12s
Update lean-toolchain ci #185: Commit bca8621 pushed by eric-wieser
February 2, 2024 21:40 15s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
February 2, 2024 21:40 15s
Update lean-toolchain ci #184: Commit f7339ef pushed by eric-wieser
February 2, 2024 21:38 12s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
February 2, 2024 21:38 12s
Bump to Lean v4.6.0-rc1 and add tests for #31 ci #183: Pull request #32 synchronize by eric-wieser
February 2, 2024 21:38 15s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
February 2, 2024 21:38 15s
fix: do not introduced additional lets that block match generalization ci #182: Commit 1c88406 pushed by gebner
January 2, 2024 00:48 1m 52s master
master
January 2, 2024 00:48 1m 52s
Bump to Lean v4.6.0-rc1 and add tests for #31 ci #181: Pull request #32 opened by eric-wieser
December 31, 2023 15:28 41s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
December 31, 2023 15:28 41s
Add test on the Lean 4 PR toolchain ci #180: Commit bc14e3d pushed by eric-wieser
December 31, 2023 15:28 42s eric-wieser/fix-lets-test
eric-wieser/fix-lets-test
December 31, 2023 15:28 42s
fix: do not introduce additional lets that block match generalization ci #179: Pull request #31 synchronize by eric-wieser
December 31, 2023 15:27 47s eric-wieser/fix-lets
eric-wieser/fix-lets
December 31, 2023 15:27 47s
fix: do not introduced additional lets that block match generalization ci #178: Commit 0ad8d21 pushed by eric-wieser
December 31, 2023 15:27 40s eric-wieser/fix-lets
eric-wieser/fix-lets
December 31, 2023 15:27 40s
fix: do not introduce additional lets that block match generalization ci #177: Pull request #31 synchronize by eric-wieser
December 20, 2023 12:08 45s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 12:08 45s
tidy ci #176: Commit 35f74a3 pushed by eric-wieser
December 20, 2023 12:08 48s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 12:08 48s
fix: do not introduce additional lets that block match generalization ci #175: Pull request #31 synchronize by eric-wieser
December 20, 2023 12:03 43s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 12:03 43s
bump lean toolchain ci #174: Commit 96f3f48 pushed by eric-wieser
December 20, 2023 12:03 48s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 12:03 48s
fix: do not introduce additional lets that block match generalization ci #173: Pull request #31 synchronize by eric-wieser
December 20, 2023 11:51 44s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 11:51 44s
oops ci #172: Commit c2ab5c3 pushed by eric-wieser
December 20, 2023 11:51 45s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 11:51 45s
fix: do not introduce additional lets that block match generalization ci #171: Pull request #31 opened by eric-wieser
December 20, 2023 11:51 26s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 11:51 26s
add tests ci #170: Commit 36fff21 pushed by eric-wieser
December 20, 2023 11:50 27s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 11:50 27s
fix: do not introduced additional lets that block match generalization ci #169: Commit 1f0a2f7 pushed by eric-wieser
December 20, 2023 11:41 33s eric-wieser/fix-lets
eric-wieser/fix-lets
December 20, 2023 11:41 33s
Ensure shadowed variables are inaccessible in quotations ci #168: Pull request #11 synchronize by eric-wieser
December 13, 2023 18:26 47s alexkeizer:preserve-shadowing
alexkeizer:preserve-shadowing
December 13, 2023 18:26 47s
Fix: use exprToSyntax in comefrom elaborator (#28) ci #167: Commit ccba5d3 pushed by gebner
December 1, 2023 16:07 47s master
master
December 1, 2023 16:07 47s
Fix: use exprToSyntax in comefrom elaborator ci #166: Pull request #28 opened by kmill
November 29, 2023 00:12 42s exprToSyntax
exprToSyntax
November 29, 2023 00:12 42s
Fix: use exprToSyntax in comefrom elaborator ci #165: Commit ef960ea pushed by kmill
November 29, 2023 00:11 45s exprToSyntax
exprToSyntax
November 29, 2023 00:11 45s
fixes for lean4#2973 ci #164: Commit ed2e76b pushed by kmill
November 28, 2023 20:57 48s lean-pr-testing-2973
lean-pr-testing-2973
November 28, 2023 20:57 48s