Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move toolchain to nightly-2024-01-23 ci #70: Commit d0c1e82 pushed by kim-em
January 23, 2024 09:55 6h 0m 29s lean-pr-testing-3159
lean-pr-testing-3159
January 23, 2024 09:55 6h 0m 29s
fix ci #69: Commit 9466e2c pushed by kim-em
January 11, 2024 16:02 4m 33s v0.0.26-pre
v0.0.26-pre
January 11, 2024 16:02 4m 33s
fix ci #68: Commit 9466e2c pushed by kim-em
January 11, 2024 16:01 4m 7s lean-pr-testing-3159
lean-pr-testing-3159
January 11, 2024 16:01 4m 7s
Merge remote-tracking branch 'origin/main' into lean-pr-testing-3159 ci #67: Commit 9247a26 pushed by kim-em
January 11, 2024 15:57 2m 25s v0.0.26-pre
v0.0.26-pre
January 11, 2024 15:57 2m 25s
Merge remote-tracking branch 'origin/main' into lean-pr-testing-3159 ci #66: Commit 9247a26 pushed by kim-em
January 11, 2024 15:57 2m 16s lean-pr-testing-3159
lean-pr-testing-3159
January 11, 2024 15:57 2m 16s
apply patch from Marc ci #65: Commit 9bd034b pushed by kim-em
January 11, 2024 11:13 2m 7s lean-pr-testing-3159
lean-pr-testing-3159
January 11, 2024 11:13 2m 7s
hmmm ci #64: Commit 2b046a9 pushed by kim-em
January 11, 2024 04:58 2m 11s lean-pr-testing-3159
lean-pr-testing-3159
January 11, 2024 04:58 2m 11s
ci ci #63: by kim-em
January 11, 2024 04:54 2m 18s v0.0.26-pre
v0.0.26-pre
January 11, 2024 04:54 2m 18s
Create RELEASES.md ci #62: Commit d439630 pushed by Vtec234
January 7, 2024 22:49 6h 0m 25s main
main
January 7, 2024 22:49 6h 0m 25s
feat: add ProofWidgets.Demos target and make the tests pass (#38) ci #61: Commit 8dd1835 pushed by Vtec234
January 4, 2024 14:52 4m 32s v0.0.25
v0.0.25
January 4, 2024 14:52 4m 32s
feat: add ProofWidgets.Demos target and make the tests pass (#38) ci #60: Commit 8dd1835 pushed by Vtec234
December 30, 2023 02:29 3m 6s main
main
December 30, 2023 02:29 3m 6s
feat: add ProofWidgets.Demos target and make the tests pass ci #59: Pull request #38 synchronize by digama0
December 30, 2023 02:23 3m 47s demos
demos
December 30, 2023 02:23 3m 47s
Apply suggestions from code review ci #58: Commit b704685 pushed by digama0
December 30, 2023 02:23 6h 0m 25s demos
demos
December 30, 2023 02:23 6h 0m 25s
feat: adapt to lean4#3105 (#37) ci #57: Commit 141de24 pushed by Vtec234
December 29, 2023 19:19 6h 0m 26s main
main
December 29, 2023 19:19 6h 0m 26s
feat: adapt to lean4#3105 ci #56: Commit 25eb33d pushed by digama0
December 27, 2023 20:57 6h 2m 54s v0.0.25-pre
v0.0.25-pre
December 27, 2023 20:57 6h 2m 54s
feat: add ProofWidgets.Demos target and make the tests pass ci #55: Pull request #38 opened by digama0
December 27, 2023 18:58 2h 6m 29s demos
demos
December 27, 2023 18:58 2h 6m 29s
feat: adapt to lean4#3105 ci #54: Pull request #37 synchronize by digama0
December 27, 2023 18:57 2h 1m 20s lean-pr-testing-3105
lean-pr-testing-3105
December 27, 2023 18:57 2h 1m 20s
feat: adapt to lean4#3105 ci #53: Commit 25eb33d pushed by digama0
December 27, 2023 18:57 2h 6m 9s lean-pr-testing-3105
lean-pr-testing-3105
December 27, 2023 18:57 2h 6m 9s
feat: add ProofWidgets.Demos target and make the tests pass ci #52: Commit 16d3d75 pushed by digama0
December 27, 2023 18:54 2h 9m 37s demos
demos
December 27, 2023 18:54 2h 9m 37s
feat: adapt to lean4#3105 ci #51: Pull request #37 opened by digama0
December 27, 2023 18:51 2h 7m 56s lean-pr-testing-3105
lean-pr-testing-3105
December 27, 2023 18:51 2h 7m 56s
feat: adapt to lean4#3105 ci #50: Commit 04efa26 pushed by digama0
December 27, 2023 18:51 2h 8m 9s lean-pr-testing-3105
lean-pr-testing-3105
December 27, 2023 18:51 2h 8m 9s
Merge pull request #36 from leanprover-community/lean-pr-testing-2964 ci #49: Commit 31d4141 pushed by kim-em
December 22, 2023 02:07 6h 0m 27s v0.0.24
v0.0.24
December 22, 2023 02:07 6h 0m 27s
Merge pull request #36 from leanprover-community/lean-pr-testing-2964 ci #48: Commit 31d4141 pushed by kim-em
December 22, 2023 02:06 6h 0m 23s main
main
December 22, 2023 02:06 6h 0m 23s
feat: adapt to lean4#2964 ci #47: Pull request #36 synchronize by kim-em
December 22, 2023 02:00 6h 0m 29s lean-pr-testing-2964
lean-pr-testing-2964
December 22, 2023 02:00 6h 0m 29s
move to v4.5.0-rc1 ci #46: Commit 26ed7b3 pushed by kim-em
December 22, 2023 02:00 6h 0m 27s lean-pr-testing-2964
lean-pr-testing-2964
December 22, 2023 02:00 6h 0m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-12-22 or the other filters available.