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

feat: d3 directed graph component ci #337: Pull request #82 opened by Vtec234
October 17, 2024 07:22 32s d3-digraph
d3-digraph
October 17, 2024 07:22 32s
feat: start on d3 digraph component ci #336: Commit 6e01f55 pushed by Vtec234
October 17, 2024 07:21 33s d3-digraph
d3-digraph
October 17, 2024 07:21 33s
Merge pull request #81 from leanprover-community/nightly-testing ci #335: Commit baa65c6 pushed by kim-em
October 17, 2024 01:29 3m 8s v0.0.43
v0.0.43
October 17, 2024 01:29 3m 8s
bump toolchain ci #334: Commit 032cf93 pushed by kim-em
October 17, 2024 01:29 3m 24s v0.0.44-pre
v0.0.44-pre
October 17, 2024 01:29 3m 24s
bump toolchain ci #333: Commit 032cf93 pushed by kim-em
October 17, 2024 01:29 3m 37s nightly-testing
nightly-testing
October 17, 2024 01:29 3m 37s
Merge pull request #81 from leanprover-community/nightly-testing ci #332: Commit baa65c6 pushed by kim-em
October 17, 2024 01:27 3m 44s nightly-testing
nightly-testing
October 17, 2024 01:27 3m 44s
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