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

chore: cleanup deprecations (#89) ci #381: Commit 5f1a4a0 pushed by Vtec234
November 24, 2024 03:02 3m 51s main
main
November 24, 2024 03:02 3m 51s
chore: cleanup deprecations ci #380: Pull request #89 synchronize by Vtec234
November 24, 2024 02:40 3m 44s rm_deprecations
rm_deprecations
November 24, 2024 02:40 3m 44s
chore: remove deprecated html! tactic ci #379: Commit 3cc4cd1 pushed by Vtec234
November 24, 2024 02:40 3m 36s rm_deprecations
rm_deprecations
November 24, 2024 02:40 3m 36s
chore: cleanup deprecations ci #378: Pull request #89 opened by kim-em
November 23, 2024 23:30 3m 47s rm_deprecations
rm_deprecations
November 23, 2024 23:30 3m 47s
. ci #377: Commit 3e785b6 pushed by kim-em
November 23, 2024 23:29 3m 51s rm_deprecations
rm_deprecations
November 23, 2024 23:29 3m 51s
Merge pull request #85 from leanprover-community/bump_to_v4.14.0-rc1 ci #376: Commit 4d58e47 pushed by kim-em
November 23, 2024 23:28 3m 12s rm_deprecations
rm_deprecations
November 23, 2024 23:28 3m 12s
Update RELEASES.md ci #375: Commit 4546ff0 pushed by Vtec234
November 20, 2024 01:04 3m 50s main
main
November 20, 2024 01:04 3m 50s
feat: more customization of GraphDisplay vertex bounding shapes, and … ci #374: Commit cbb87f2 pushed by Vtec234
November 20, 2024 01:03 3m 58s main
main
November 20, 2024 01:03 3m 58s
feat: more customization of GraphDisplay vertex bounding shapes, and add demo ci #373: Pull request #88 opened by Vtec234
November 20, 2024 01:03 3m 57s graph-bb
graph-bb
November 20, 2024 01:03 3m 57s
feat: more graph demos ci #372: Commit e0b51f8 pushed by Vtec234
November 20, 2024 01:02 3m 59s graph-bb
graph-bb
November 20, 2024 01:02 3m 59s
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