Skip to content

Actions: leanprover-community/quote4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.14.0-rc1 (#65) ci #312: Commit 303b23f pushed by kim-em
November 4, 2024 01:45 48s v4.14.0-rc1
v4.14.0-rc1
November 4, 2024 01:45 48s
chore: bump toolchain to v4.14.0-rc1 (#65) ci #311: Commit 303b23f pushed by kim-em
November 4, 2024 01:44 44s master
master
November 4, 2024 01:44 44s
chore: bump toolchain to v4.14.0-rc1 ci #310: Pull request #65 synchronize by kim-em
November 4, 2024 01:40 48s nightly-testing
nightly-testing
November 4, 2024 01:40 48s
merge master ci #309: Commit 2adf619 pushed by kim-em
November 4, 2024 01:40 48s nightly-testing
nightly-testing
November 4, 2024 01:40 48s
chore: bump toolchain to v4.14.0-rc1 ci #308: Commit ae1c764 pushed by kim-em
November 4, 2024 01:39 48s nightly-testing
nightly-testing
November 4, 2024 01:39 48s
feat: allow interpolation of fvars, with a warning ci #307: Pull request #64 opened by eric-wieser
November 2, 2024 14:47 54s warn-on-fvar
warn-on-fvar
November 2, 2024 14:47 54s
feat: allow interpolation of fvars, with a warning ci #306: Commit f95d85e pushed by eric-wieser
November 2, 2024 14:47 43s warn-on-fvar
warn-on-fvar
November 2, 2024 14:47 43s
style: replace ← pure with := in matches (#63) ci #305: Commit d6ae727 pushed by eric-wieser
November 2, 2024 14:35 47s master
master
November 2, 2024 14:35 47s
style: replace ← pure with := in matches ci #304: Pull request #63 opened by eric-wieser
November 2, 2024 14:13 42s no-arrow-pure
no-arrow-pure
November 2, 2024 14:13 42s
style: replace ← pure with := in matches ci #303: Commit b7ff016 pushed by eric-wieser
November 2, 2024 14:13 47s no-arrow-pure
no-arrow-pure
November 2, 2024 14:13 47s
feat: generalize ReduceEval (Fin n) to use NeZero (#61) ci #300: Commit 1357f4f pushed by eric-wieser
October 18, 2024 22:38 48s master
master
October 18, 2024 22:38 48s
chore: adaptations for nightly-2024-10-17 (#60) ci #299: Commit 0dc6370 pushed by eric-wieser
October 18, 2024 22:38 46s bump/v4.14.0
bump/v4.14.0
October 18, 2024 22:38 46s
chore: adaptations for nightly-2024-10-17 (#60) ci #298: Commit 0dc6370 pushed by kim-em
October 18, 2024 22:29 43s master
master
October 18, 2024 22:29 43s
chore: adaptations for nightly-2024-10-17 ci #297: Pull request #60 synchronize by eric-wieser
October 18, 2024 15:37 46s bump/nightly-2024-10-17
bump/nightly-2024-10-17
October 18, 2024 15:37 46s
simplify ci #296: Commit c20ed8d pushed by eric-wieser
October 18, 2024 15:37 50s bump/nightly-2024-10-17
bump/nightly-2024-10-17
October 18, 2024 15:37 50s
chore: adaptations for nightly-2024-10-17 ci #295: Pull request #60 synchronize by eric-wieser
October 18, 2024 15:36 52s bump/nightly-2024-10-17
bump/nightly-2024-10-17
October 18, 2024 15:36 52s
Merge branch 'master' into bump/nightly-2024-10-17 ci #294: Commit e141ac3 pushed by eric-wieser
October 18, 2024 15:36 46s bump/nightly-2024-10-17
bump/nightly-2024-10-17
October 18, 2024 15:36 46s
feat: generalize ReduceEval (Fin n) to use NeZero (#61) ci #293: Commit 1357f4f pushed by eric-wieser
October 18, 2024 15:35 50s master
master
October 18, 2024 15:35 50s
feat: generalize ReduceEval (Fin n) to use NeZero ci #292: Pull request #61 opened by eric-wieser
October 18, 2024 15:34 46s eric-wieser/Fin-NeZero
eric-wieser/Fin-NeZero
October 18, 2024 15:34 46s
feat: generalize ReduceEval (Fin n) to use NeZero ci #291: Commit ad75d7f pushed by eric-wieser
October 18, 2024 15:34 45s eric-wieser/Fin-NeZero
eric-wieser/Fin-NeZero
October 18, 2024 15:34 45s
chore: adaptations for nightly-2024-10-17 ci #290: Pull request #60 opened by kim-em
October 18, 2024 01:42 46s bump/nightly-2024-10-17
bump/nightly-2024-10-17
October 18, 2024 01:42 46s
merge lean-pr-testing-5323 ci #289: Commit 0495948 pushed by kim-em
October 18, 2024 01:42 46s bump/nightly-2024-10-17
bump/nightly-2024-10-17
October 18, 2024 01:42 46s
chore: fix for lean4#5542 (#59) ci #288: Commit fa3d73a pushed by kim-em
October 18, 2024 01:42 49s bump/v4.14.0
bump/v4.14.0
October 18, 2024 01:42 49s
merge lean-pr-testing-5323 ci #287: Commit 0495948 pushed by kim-em
October 17, 2024 10:44 45s nightly-testing
nightly-testing
October 17, 2024 10:44 45s
Merge remote-tracking branch 'origin/master' into lean-pr-testing-5323 ci #286: Commit 2b14204 pushed by kim-em
October 14, 2024 02:20 45s lean-pr-testing-5323
lean-pr-testing-5323
October 14, 2024 02:20 45s