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

Merge pull request #91 from leanprover-community/bump_toolchain_v4.14.0 ci #387: Commit 68280da pushed by kim-em
December 2, 2024 00:22 3m 45s main
main
December 2, 2024 00:22 3m 45s
chore: bump toolchain to v4.14.0 ci #386: Pull request #91 opened by kim-em
December 2, 2024 00:17 3m 53s bump_toolchain_v4.14.0
bump_toolchain_v4.14.0
December 2, 2024 00:17 3m 53s
chore: bump toolchain to v4.14.0 ci #385: Commit c4a482c pushed by kim-em
December 2, 2024 00:17 4m 8s bump_toolchain_v4.14.0
bump_toolchain_v4.14.0
December 2, 2024 00:17 4m 8s
chore: use new Lake style (#90) ci #384: Commit 6d0986a pushed by Vtec234
November 30, 2024 02:55 3m 58s main
main
November 30, 2024 02:55 3m 58s
chore: use new Lake style ci #383: Pull request #90 opened by tydeu
November 28, 2024 17:35 3m 52s tydeu:lake-cleanup
tydeu:lake-cleanup
November 28, 2024 17:35 3m 52s
chore: cleanup deprecations (#89) ci #382: Commit 5f1a4a0 pushed by kim-em
November 27, 2024 10:59 3m 28s v0.0.47-pre
v0.0.47-pre
November 27, 2024 10:59 3m 28s
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