Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update batteries ci #426: Commit 79b4948 pushed by kim-em
January 8, 2025 06:42 3m 39s v0.0.51-pre1
v0.0.51-pre1
January 8, 2025 06:42 3m 39s
update batteries ci #425: Commit 79b4948 pushed by kim-em
January 8, 2025 06:40 3m 43s lean-pr-testing-6571
lean-pr-testing-6571
January 8, 2025 06:40 3m 43s
building ProofWidgets against leanprover/lean4#6571 ci #424: Commit 6fe6a43 pushed by kim-em
January 8, 2025 06:21 4m 8s v0.0.51-pre1
v0.0.51-pre1
January 8, 2025 06:21 4m 8s
building ProofWidgets against leanprover/lean4#6571 ci #423: Commit 6fe6a43 pushed by kim-em
January 8, 2025 04:50 1m 25s v0.0.51-pre1
v0.0.51-pre1
January 8, 2025 04:50 1m 25s
building ProofWidgets against leanprover/lean4#6571 ci #422: Commit 6fe6a43 pushed by kim-em
January 8, 2025 04:49 1m 24s lean-pr-testing-6571
lean-pr-testing-6571
January 8, 2025 04:49 1m 24s
Merge pull request #101 from leanprover-community/bump_to_v4.16.0-rc1 ci #421: Commit 07f60e9 pushed by kim-em
January 4, 2025 05:24 3m 39s v0.0.50
v0.0.50
January 4, 2025 05:24 3m 39s
Merge pull request #101 from leanprover-community/bump_to_v4.16.0-rc1 ci #420: Commit 07f60e9 pushed by kim-em
January 4, 2025 05:21 4m 14s main
main
January 4, 2025 05:21 4m 14s
chore: bump toolchain to v4.16.0-rc1 ci #419: Pull request #101 opened by kim-em
January 4, 2025 05:18 3m 21s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:18 3m 21s
chore: bump toolchain to v4.16.0-rc1 ci #418: Commit 855e8e1 pushed by kim-em
January 4, 2025 05:18 3m 41s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:18 3m 41s
Merge pull request #100 from leanprover-community/bump_to_v4.15.0 ci #417: Commit 08171c2 pushed by kim-em
January 4, 2025 03:27 3m 32s v0.0.49
v0.0.49
January 4, 2025 03:27 3m 32s
Merge pull request #100 from leanprover-community/bump_to_v4.15.0 ci #416: Commit 08171c2 pushed by kim-em
January 4, 2025 03:26 4m 1s main
main
January 4, 2025 03:26 4m 1s
chore: bump toolchain to v4.15.0 ci #415: Pull request #100 opened by kim-em
January 4, 2025 03:22 3m 17s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:22 3m 17s
chore: bump toolchain to v4.15.0 ci #414: Commit 48f90ea pushed by kim-em
January 4, 2025 03:22 3m 42s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:22 3m 42s
Added axis type to Recharts.lean, modified Plot.lean to illustrate. ci #413: Pull request #99 synchronize by mars0i
December 29, 2024 05:53 Action required mars0i:RechartsAxisType
mars0i:RechartsAxisType
December 29, 2024 05:53 Action required
Added axis type to Recharts.lean, modified Plot.lean to illustrate. ci #412: Pull request #99 synchronize by mars0i
December 23, 2024 22:31 3m 32s mars0i:RechartsAxisType
mars0i:RechartsAxisType
December 23, 2024 22:31 3m 32s
Added axis type to Recharts.lean, modified Plot.lean to illustrate. ci #411: Pull request #99 opened by mars0i
December 23, 2024 17:47 Action required mars0i:RechartsAxisType
mars0i:RechartsAxisType
December 23, 2024 17:47 Action required
ci: endsWith -> contains ci #410: Commit 3899f1a pushed by Vtec234
December 20, 2024 14:19 4m 3s main
main
December 20, 2024 14:19 4m 3s
ci: tag prereleases ci #409: Commit 70fad3a pushed by Vtec234
December 20, 2024 14:16 4m 2s v0.0.49-pre2
v0.0.49-pre2
December 20, 2024 14:16 4m 2s
ci: tag prereleases ci #408: Commit 70fad3a pushed by Vtec234
December 20, 2024 14:13 3m 48s main
main
December 20, 2024 14:13 3m 48s
merge lean-6388-adaptions ci #407: Commit 1f4ff06 pushed by kim-em
December 19, 2024 09:44 3m 43s v0.0.49-pre1
v0.0.49-pre1
December 19, 2024 09:44 3m 43s
merge lean-6388-adaptions ci #406: Commit 1f4ff06 pushed by kim-em
December 19, 2024 09:43 3m 35s nightly-testing
nightly-testing
December 19, 2024 09:43 3m 35s
chore: adaptions for leanprover/lean4#6388 ci #405: Pull request #95 opened by tydeu
December 16, 2024 16:41 1m 29s tydeu:lean-6388-adaptions
tydeu:lean-6388-adaptions
December 16, 2024 16:41 1m 29s
chore: adaptions for leanprover/lean4#6388 ci #404: Pull request #94 opened by tydeu
December 16, 2024 16:11 1m 59s tydeu:lean-6388-adpations
tydeu:lean-6388-adpations
December 16, 2024 16:11 1m 59s
Update RELEASES.md ci #403: Commit 171ae3e pushed by Vtec234
December 12, 2024 16:36 4m 2s main
main
December 12, 2024 16:36 4m 2s
feat: publish @leanprover-community/proofwidgets4 on NPM (#93) ci #402: Commit 116fc86 pushed by Vtec234
December 12, 2024 16:34 4m 6s main
main
December 12, 2024 16:34 4m 6s