Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
363 workflow runs
363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: demo ci #371: Commit 1328ae4 pushed by Vtec234
November 18, 2024 01:37 3m 44s graph-bb
graph-bb
November 18, 2024 01:37 3m 44s
feat: bound vertex labels with rectangles ci #370: Commit 02ce91b pushed by Vtec234
November 17, 2024 22:57 1m 48s graph-bb
graph-bb
November 17, 2024 22:57 1m 48s
fix(Demos/ExprGraph): show details ci #369: Commit 26bcae6 pushed by Vtec234
November 8, 2024 17:12 4m 5s main
main
November 8, 2024 17:12 4m 5s
fix(GraphDisplay): click on edge label ci #368: Commit 568810a pushed by Vtec234
November 7, 2024 20:47 3m 35s main
main
November 7, 2024 20:47 3m 35s
Update RELEASES.md ci #367: Commit 1383e72 pushed by Vtec234
November 4, 2024 01:13 3m 50s v0.0.46
v0.0.46
November 4, 2024 01:13 3m 50s
Update RELEASES.md ci #366: Commit 1383e72 pushed by Vtec234
November 4, 2024 01:12 3m 45s main
main
November 4, 2024 01:12 3m 45s
feat: edge labels for GraphDisplay (#86) ci #365: Commit 81dfa90 pushed by Vtec234
November 4, 2024 01:07 3m 35s main
main
November 4, 2024 01:07 3m 35s
feat: edge labels for GraphDisplay ci #364: Pull request #86 opened by Vtec234
November 4, 2024 01:07 4m 26s graph-edge-labels
graph-edge-labels
November 4, 2024 01:07 4m 26s
chore: release notes ci #363: Commit 02b724f pushed by Vtec234
November 4, 2024 01:06 3m 40s graph-edge-labels
graph-edge-labels
November 4, 2024 01:06 3m 40s
Merge pull request #85 from leanprover-community/bump_to_v4.14.0-rc1 ci #362: Commit 4d58e47 pushed by kim-em
November 4, 2024 00:57 3m 53s v0.0.45
v0.0.45
November 4, 2024 00:57 3m 53s
Merge pull request #85 from leanprover-community/bump_to_v4.14.0-rc1 ci #361: Commit 4d58e47 pushed by kim-em
November 4, 2024 00:57 3m 23s main
main
November 4, 2024 00:57 3m 23s
chore: bump toolchain to v4.14.0-rc1 ci #360: Pull request #85 opened by kim-em
November 4, 2024 00:52 3m 39s bump_to_v4.14.0-rc1
bump_to_v4.14.0-rc1
November 4, 2024 00:52 3m 39s
bump batteries ci #359: Commit fb8c84f pushed by kim-em
November 4, 2024 00:52 3m 18s bump_to_v4.14.0-rc1
bump_to_v4.14.0-rc1
November 4, 2024 00:52 3m 18s
chore: bump Lean to v4.13.0 (#84) ci #358: Commit 23268f5 pushed by Vtec234
November 1, 2024 16:26 3m 41s v0.0.44
v0.0.44
November 1, 2024 16:26 3m 41s
chore: bump Lean to v4.13.0 (#84) ci #357: Commit 23268f5 pushed by Vtec234
November 1, 2024 16:25 3m 44s main
main
November 1, 2024 16:25 3m 44s
chore: bump Lean to v4.13.0 ci #356: Pull request #84 opened by Vtec234
November 1, 2024 16:25 3m 50s bump/v4.13.0
bump/v4.13.0
November 1, 2024 16:25 3m 50s
chore: bump Lean to v4.13.0 ci #355: Commit 352e3a5 pushed by Vtec234
November 1, 2024 16:25 3m 57s bump/v4.13.0
bump/v4.13.0
November 1, 2024 16:25 3m 57s
fix ci #354: Commit 5632ca0 pushed by kim-em
October 21, 2024 10:30 4m 2s v0.0.44-pre3
v0.0.44-pre3
October 21, 2024 10:30 4m 2s
fix ci #353: Commit 5632ca0 pushed by kim-em
October 21, 2024 10:28 3m 44s nightly-testing
nightly-testing
October 21, 2024 10:28 3m 44s
bump deps ci #352: Commit 9a43f11 pushed by kim-em
October 21, 2024 10:28 1m 54s nightly-testing
nightly-testing
October 21, 2024 10:28 1m 54s
ci ci #351: by kim-em
October 21, 2024 10:18 1m 48s v0.0.44-pre3
v0.0.44-pre3
October 21, 2024 10:18 1m 48s
merge lean-pr-testing-5749 ci #350: Commit 22018c5 pushed by kim-em
October 21, 2024 10:17 40s v0.0.44-pre3
v0.0.44-pre3
October 21, 2024 10:17 40s
merge lean-pr-testing-5749 ci #349: Commit 22018c5 pushed by kim-em
October 21, 2024 10:16 1m 49s nightly-testing
nightly-testing
October 21, 2024 10:16 1m 49s
fixes for leanprover/lean4#5749 ci #348: Commit b533521 pushed by kim-em
October 21, 2024 02:35 1m 41s v0.0.44-pre5749
v0.0.44-pre5749
October 21, 2024 02:35 1m 41s
fixes for leanprover/lean4#5749 ci #347: Commit b533521 pushed by kim-em
October 21, 2024 02:32 1m 37s lean-pr-testing-5749
lean-pr-testing-5749
October 21, 2024 02:32 1m 37s