Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
373 workflow runs
373 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: bump Std; json% has been upstreamed ci #5: Pull request #28 opened by kim-em
October 24, 2023 00:38 3m 11s bump_std
bump_std
October 24, 2023 00:38 3m 11s
chore: bump Std; json% has been upstreamed ci #4: Commit 5382e38 pushed by kim-em
October 24, 2023 00:37 2m 40s bump_std
bump_std
October 24, 2023 00:37 2m 40s
ci: typo ci #2: Commit 857a06c pushed by Vtec234
October 12, 2023 16:29 3m 50s main
main
October 12, 2023 16:29 3m 50s
ci: add script and bump toolchain ci #1: Commit 3d14950 pushed by Vtec234
October 12, 2023 16:27 Failure main
main
October 12, 2023 16:27 Failure
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.