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

Added axis type to Recharts.lean, modified Plot.lean to illustrate. ci #412: Pull request #99 synchronize by mars0i
December 23, 2024 22:31 Action required mars0i:RechartsAxisType
mars0i:RechartsAxisType
December 23, 2024 22:31 Action required
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
feat: publish @leanprover-community/proofwidgets4 on NPM ci #401: Pull request #93 synchronize by Vtec234
December 12, 2024 16:33 3m 41s npm
npm
December 12, 2024 16:33 3m 41s
import import ci #400: Commit 067fca7 pushed by Vtec234
December 12, 2024 16:33 3m 37s npm
npm
December 12, 2024 16:33 3m 37s
feat: publish @leanprover-community/proofwidgets4 on NPM ci #399: Pull request #93 opened by Vtec234
December 12, 2024 16:32 4m 6s npm
npm
December 12, 2024 16:32 4m 6s
chore: doc ci #398: Commit 1a24a0f pushed by Vtec234
December 12, 2024 16:32 4m 8s npm
npm
December 12, 2024 16:32 4m 8s
feat: publish to NPM from CI ci #397: Commit d97d873 pushed by Vtec234
December 12, 2024 16:29 3m 52s npm
npm
December 12, 2024 16:29 3m 52s
update ci #396: Commit 2b000e0 pushed by kim-em
December 2, 2024 03:06 4m 3s v0.0.48
v0.0.48
December 2, 2024 03:06 4m 3s
Merge pull request #92 from leanprover-community/bump_to_v4.15.0-rc1 ci #395: Commit 3b2633d pushed by kim-em
December 2, 2024 03:06 3m 24s main
main
December 2, 2024 03:06 3m 24s
chore: bump toolchain to v4.15.0-rc1 ci #394: Pull request #92 synchronize by kim-em
December 2, 2024 03:02 3m 12s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
December 2, 2024 03:02 3m 12s
update ci #393: Commit 2b000e0 pushed by kim-em
December 2, 2024 03:02 3m 9s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
December 2, 2024 03:02 3m 9s
chore: bump toolchain to v4.15.0-rc1 ci #392: Pull request #92 synchronize by kim-em
December 2, 2024 03:00 3m 52s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
December 2, 2024 03:00 3m 52s
fix ci #391: Commit 35967fa pushed by kim-em
December 2, 2024 03:00 4m 2s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
December 2, 2024 03:00 4m 2s
chore: bump toolchain to v4.15.0-rc1 ci #390: Pull request #92 opened by kim-em
December 2, 2024 02:54 1m 48s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
December 2, 2024 02:54 1m 48s
bump toolchain to v4.15.0-rc1 ci #389: Commit 7914bae pushed by kim-em
December 2, 2024 02:54 1m 55s bump_to_v4.15.0-rc1
bump_to_v4.15.0-rc1
December 2, 2024 02:54 1m 55s
Merge pull request #91 from leanprover-community/bump_toolchain_v4.14.0 ci #388: Commit 68280da pushed by kim-em
December 2, 2024 00:23 3m 39s v0.0.47
v0.0.47
December 2, 2024 00:23 3m 39s