Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
323 workflow runs
323 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #81 from leanprover-community/nightly-testing ci #331: Commit baa65c6 pushed by kim-em
October 3, 2024 12:48 3m 5s main
main
October 3, 2024 12:48 3m 5s
chore: bump toolchain to v4.13.0-rc1 ci #330: Pull request #81 opened by kim-em
October 3, 2024 12:23 2m 56s nightly-testing
nightly-testing
October 3, 2024 12:23 2m 56s
v4.13.0-rc1 ci #329: Commit 491c974 pushed by kim-em
October 3, 2024 12:20 3m 10s nightly-testing
nightly-testing
October 3, 2024 12:20 3m 10s
. ci #328: Commit cd20dae pushed by kim-em
October 2, 2024 10:26 3m 9s v0.0.43-pre
v0.0.43-pre
October 2, 2024 10:26 3m 9s
. ci #327: Commit cd20dae pushed by kim-em
October 2, 2024 10:24 3m 46s nightly-testing
nightly-testing
October 2, 2024 10:24 3m 46s
Merge pull request #80 from leanprover-community/move_to_v4.12.0 ci #326: Commit 23c24c3 pushed by kim-em
October 1, 2024 06:16 4m 2s main
main
October 1, 2024 06:16 4m 2s
chore: move to v4.12.0 ci #325: Pull request #80 opened by kim-em
October 1, 2024 06:10 3m 23s move_to_v4.12.0
move_to_v4.12.0
October 1, 2024 06:10 3m 23s
chore: move to v4.12.0 ci #324: Commit 4098450 pushed by kim-em
October 1, 2024 06:10 3m 19s move_to_v4.12.0
move_to_v4.12.0
October 1, 2024 06:10 3m 19s
Update Euclidean.lean ci #323: Commit f152c32 pushed by Vtec234
September 25, 2024 15:45 3m 33s main
main
September 25, 2024 15:45 3m 33s
doc: clarify Euclidean constructions demo ci #322: Commit a08c9f9 pushed by Vtec234
September 25, 2024 15:41 3m 42s main
main
September 25, 2024 15:41 3m 42s
Merge pull request #79 from leanprover-community/bump_toolchain_to_v4… ci #321: Commit eb08eee pushed by kim-em
September 3, 2024 04:35 3m 10s v0.0.42
v0.0.42
September 3, 2024 04:35 3m 10s
Merge pull request #79 from leanprover-community/bump_toolchain_to_v4… ci #320: Commit eb08eee pushed by kim-em
September 3, 2024 04:35 3m 38s main
main
September 3, 2024 04:35 3m 38s
chore: bump toolchain to v4.12.0-rc1 ci #319: Pull request #79 synchronize by kim-em
September 3, 2024 04:30 3m 39s bump_toolchain_to_v4.12.0-rc1
bump_toolchain_to_v4.12.0-rc1
September 3, 2024 04:30 3m 39s
fix tests ci #318: Commit fd25302 pushed by kim-em
September 3, 2024 04:30 3m 27s bump_toolchain_to_v4.12.0-rc1
bump_toolchain_to_v4.12.0-rc1
September 3, 2024 04:30 3m 27s
chore: bump toolchain to v4.12.0-rc1 ci #317: Pull request #79 opened by kim-em
September 3, 2024 04:24 1m 41s bump_toolchain_to_v4.12.0-rc1
bump_toolchain_to_v4.12.0-rc1
September 3, 2024 04:24 1m 41s
chore: bump toolchain to v4.12.0-rc1 ci #316: Commit 413d6a8 pushed by kim-em
September 3, 2024 04:23 1m 38s bump_toolchain_to_v4.12.0-rc1
bump_toolchain_to_v4.12.0-rc1
September 3, 2024 04:23 1m 38s
Merge pull request #78 from leanprover-community/bump/v4.12.0 ci #315: Commit 64e5342 pushed by kim-em
September 3, 2024 04:14 2m 55s main
main
September 3, 2024 04:14 2m 55s
chore: merge bump/v4.12.0 ci #314: Pull request #78 synchronize by kim-em
September 3, 2024 04:02 3m 24s bump/v4.12.0
bump/v4.12.0
September 3, 2024 04:02 3m 24s
fix imports ci #313: Commit 9ee29ce pushed by kim-em
September 3, 2024 04:02 3m 32s bump/v4.12.0
bump/v4.12.0
September 3, 2024 04:02 3m 32s
chore: merge bump/v4.12.0 ci #312: Pull request #78 synchronize by kim-em
September 3, 2024 04:00 1m 33s bump/v4.12.0
bump/v4.12.0
September 3, 2024 04:00 1m 33s
move batteries back to main ci #311: Commit c0258ef pushed by kim-em
September 3, 2024 04:00 1m 43s bump/v4.12.0
bump/v4.12.0
September 3, 2024 04:00 1m 43s
chore: merge bump/v4.12.0 ci #310: Pull request #78 synchronize by kim-em
September 3, 2024 03:55 1m 33s bump/v4.12.0
bump/v4.12.0
September 3, 2024 03:55 1m 33s
merge main ci #309: Commit 8f71347 pushed by kim-em
September 3, 2024 03:55 1m 34s bump/v4.12.0
bump/v4.12.0
September 3, 2024 03:55 1m 34s
lake update ci #308: Commit 756b978 pushed by kim-em
September 3, 2024 03:54 1m 37s bump/v4.12.0
bump/v4.12.0
September 3, 2024 03:54 1m 37s
bump toolchain to v4.12.0-rc1 ci #307: Commit 5150589 pushed by kim-em
September 3, 2024 03:53 1m 40s bump/v4.12.0
bump/v4.12.0
September 3, 2024 03:53 1m 40s