Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: typo ci #31: Commit b1e8939 pushed by Vtec234
November 26, 2023 23:26 2m 52s main
main
November 26, 2023 23:26 2m 52s
Merge pull request #34 from leanprover-community/bump_rc2 ci #30: Commit 909febc pushed by kim-em
November 20, 2023 03:34 6h 0m 30s v0.0.23
v0.0.23
November 20, 2023 03:34 6h 0m 30s
Merge pull request #34 from leanprover-community/bump_rc2 ci #29: Commit 909febc pushed by kim-em
November 20, 2023 03:33 6h 0m 26s main
main
November 20, 2023 03:33 6h 0m 26s
chore: bump lean to v4.3.0-rc2 ci #28: Pull request #34 opened by digama0
November 19, 2023 06:04 35m 53s bump_rc2
bump_rc2
November 19, 2023 06:04 35m 53s
chore: bump lean to v4.3.0-rc2 ci #27: Commit b8faaff pushed by digama0
November 19, 2023 06:04 6h 0m 29s bump_rc2
bump_rc2
November 19, 2023 06:04 6h 0m 29s
use leanprover/lean4#2766 toolchain ci #26: Commit bbc68b4 pushed by kim-em
November 14, 2023 04:13 5m 14s v0.0.23-pre
v0.0.23-pre
November 14, 2023 04:13 5m 14s
use leanprover/lean4#2766 toolchain ci #25: Commit bbc68b4 pushed by kim-em
November 14, 2023 04:12 6h 0m 32s lean-pr-testing-2766
lean-pr-testing-2766
November 14, 2023 04:12 6h 0m 32s
ci: specify build dir ci #24: Commit c3b9f0d pushed by kim-em
November 14, 2023 01:57 4m 6s v0.0.23-pre
v0.0.23-pre
November 14, 2023 01:57 4m 6s
ci: specify build dir ci #23: Commit c3b9f0d pushed by Vtec234
November 10, 2023 21:09 4m 32s v0.0.22
v0.0.22
November 10, 2023 21:09 4m 32s
ci: specify build dir ci #22: Commit c3b9f0d pushed by Vtec234
November 10, 2023 21:09 6m 6s main
main
November 10, 2023 21:09 6m 6s
build: force build directory ci #21: Commit a27f24a pushed by Vtec234
November 8, 2023 17:02 6m 32s v0.0.22-pre
v0.0.22-pre
November 8, 2023 17:02 6m 32s
chore: use toolchain for leanprover/lean4#2749 ci #20: Pull request #32 synchronize by Vtec234
November 8, 2023 16:53 4m 58s lean-pr-testing-2749
lean-pr-testing-2749
November 8, 2023 16:53 4m 58s
build: force build directory ci #19: Commit a27f24a pushed by Vtec234
November 8, 2023 16:53 5m 49s lean-pr-testing-2749
lean-pr-testing-2749
November 8, 2023 16:53 5m 49s
chore: use toolchain for leanprover/lean4#2749 ci #18: Pull request #32 opened by kim-em
November 5, 2023 01:41 6h 0m 30s lean-pr-testing-2749
lean-pr-testing-2749
November 5, 2023 01:41 6h 0m 30s
chore: use toolchain ci #17: Commit 8db9451 pushed by kim-em
November 5, 2023 01:40 6h 0m 29s lean-pr-testing-2749
lean-pr-testing-2749
November 5, 2023 01:40 6h 0m 29s
Fix macOS CI (#31) ci #15: Commit f1a5c78 pushed by Vtec234
October 24, 2023 16:52 6m 2s v0.0.21
v0.0.21
October 24, 2023 16:52 6m 2s
Fix macOS CI (#31) ci #14: Commit f1a5c78 pushed by Vtec234
October 24, 2023 16:52 5m 9s main
main
October 24, 2023 16:52 5m 9s
Fix macOS CI ci #13: Pull request #31 opened by Vtec234
October 24, 2023 16:52 5m 34s Vtec234:ci-mac
Vtec234:ci-mac
October 24, 2023 16:52 5m 34s
ci: create releases for each tag and upload build archives (#29) ci #12: Commit 8e808df pushed by kim-em
October 24, 2023 10:00 6h 0m 32s test-2743
test-2743
October 24, 2023 10:00 6h 0m 32s
ci: create releases for each tag and upload build archives (#29) ci #11: Commit 8e808df pushed by kim-em
October 24, 2023 09:57 5m 28s testing-2743
testing-2743
October 24, 2023 09:57 5m 28s
ci: create releases for each tag and upload build archives (#29) ci #10: Commit 8e808df pushed by Vtec234
October 24, 2023 02:52 6h 0m 28s v0.0.20
v0.0.20
October 24, 2023 02:52 6h 0m 28s
ci: create releases for each tag and upload build archives (#29) ci #9: Commit 8e808df pushed by Vtec234
October 24, 2023 02:51 6h 0m 24s main
main
October 24, 2023 02:51 6h 0m 24s
ci: create releases for each tag and upload builds ci #8: Pull request #29 opened by Vtec234
October 24, 2023 02:49 3m 21s Vtec234:ci-releases
Vtec234:ci-releases
October 24, 2023 02:49 3m 21s
Merge pull request #28 from leanprover-community/bump_std ci #7: Commit 327a4e8 pushed by kim-em
October 24, 2023 00:51 2m 41s main
main
October 24, 2023 00:51 2m 41s
chore: bump Std; json% has been upstreamed ci #6: Commit 5382e38 pushed by kim-em
October 24, 2023 00:45 2m 39s v0.0.19
v0.0.19
October 24, 2023 00:45 2m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.