Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
doc: v0.0.44 ci #346: Commit c6672b4 pushed by Vtec234
October 20, 2024 02:35 3m 46s v0.0.44-pre2
v0.0.44-pre2
October 20, 2024 02:35 3m 46s
doc: v0.0.44 ci #345: Commit c6672b4 pushed by Vtec234
October 20, 2024 02:33 3m 29s main
main
October 20, 2024 02:33 3m 29s
feat: d3 directed graph component (#82) ci #344: Commit a33fde5 pushed by Vtec234
October 20, 2024 02:29 3m 46s main
main
October 20, 2024 02:29 3m 46s
feat: d3 directed graph component ci #343: Pull request #82 synchronize by Vtec234
October 20, 2024 02:26 3m 40s d3-digraph
d3-digraph
October 20, 2024 02:26 3m 40s
feat: demo ci #342: Commit a5eca85 pushed by Vtec234
October 20, 2024 02:26 3m 19s d3-digraph
d3-digraph
October 20, 2024 02:26 3m 19s
chore: set fixed releaseRepo & use some new Lake features (#83) ci #341: Commit f7a41a7 pushed by Vtec234
October 19, 2024 02:08 3m 41s main
main
October 19, 2024 02:08 3m 41s
chore: set fixed releaseRepo & use some new Lake features ci #340: Pull request #83 synchronize by Vtec234
October 19, 2024 02:07 3m 28s tydeu:touchups
tydeu:touchups
October 19, 2024 02:07 3m 28s
chore: set fixed releaseRepo & use some new Lake features ci #339: Pull request #83 opened by tydeu
October 18, 2024 19:09 3m 56s tydeu:touchups
tydeu:touchups
October 18, 2024 19:09 3m 56s
feat: add MarkdownDisplay ci #338: Commit 20c4298 pushed by Vtec234
October 17, 2024 23:51 3m 13s main
main
October 17, 2024 23:51 3m 13s
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