Skip to content

Actions: leanprover/KLR

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

List dynamic libraries CI #191: Commit 438623d pushed by seanmcl
February 12, 2025 18:49 34s sm/linux
sm/linux
February 12, 2025 18:49 34s
List dynamic libraries CI #190: Pull request #42 synchronize by seanmcl
February 12, 2025 18:46 38s sm/linux
sm/linux
February 12, 2025 18:46 38s
List dynamic libraries CI #189: Commit cb498ba pushed by seanmcl
February 12, 2025 18:46 30s sm/linux
sm/linux
February 12, 2025 18:46 30s
List dynamic libraries CI #188: Pull request #42 synchronize by seanmcl
February 12, 2025 18:45 38s sm/linux
sm/linux
February 12, 2025 18:45 38s
List dynamic libraries CI #187: Commit bfb1705 pushed by seanmcl
February 12, 2025 18:45 35s sm/linux
sm/linux
February 12, 2025 18:45 35s
List dynamic libraries CI #186: Pull request #42 opened by seanmcl
February 12, 2025 18:44 33s sm/linux
sm/linux
February 12, 2025 18:44 33s
List dynamic libraries CI #185: Commit a0f132f pushed by seanmcl
February 12, 2025 18:44 49s sm/linux
sm/linux
February 12, 2025 18:44 49s
fix: tweak pypi publishing config CI #184: Commit f9b53cd pushed by seanmcl
February 12, 2025 18:00 7m 24s v0.0.6
v0.0.6
February 12, 2025 18:00 7m 24s
fix: tweak pypi publishing config CI #183: Commit f9b53cd pushed by seanmcl
February 12, 2025 17:55 4m 39s main
main
February 12, 2025 17:55 4m 39s
fix: tweak pypi publishing config CI #182: Pull request #41 opened by seanmcl
February 12, 2025 17:51 4m 24s sm/fix2
sm/fix2
February 12, 2025 17:51 4m 24s
fix: tweak pypi publishing config CI #181: Commit 50b768e pushed by seanmcl
February 12, 2025 17:47 4m 55s sm/fix2
sm/fix2
February 12, 2025 17:47 4m 55s
fix: re-add dropped section of build file CI #180: Commit 362e218 pushed by seanmcl
February 12, 2025 17:31 2m 18s v0.0.6
v0.0.6
February 12, 2025 17:31 2m 18s
ci: Publish to pypi.org CI #179: Commit cd6c05c pushed by seanmcl
February 12, 2025 17:30 1m 14s v0.0.6
v0.0.6
February 12, 2025 17:30 1m 14s
fix: re-add dropped section of build file CI #178: Commit 362e218 pushed by seanmcl
February 12, 2025 17:24 5m 12s main
main
February 12, 2025 17:24 5m 12s
fix: re-add dropped section of build file CI #177: Pull request #40 opened by seanmcl
February 12, 2025 17:14 4m 16s sm/fix
sm/fix
February 12, 2025 17:14 4m 16s
feat: infer arguments if not available CI #176: Commit 99dd103 pushed by govereau
February 12, 2025 16:41 1m 21s main
main
February 12, 2025 16:41 1m 21s
feat: infer arguments if not available CI #175: Pull request #36 synchronize by govereau
February 12, 2025 16:16 1m 50s pg-infer
pg-infer
February 12, 2025 16:16 1m 50s
feat: infer arguments if not available CI #174: Commit 6bb8ee3 pushed by govereau
February 12, 2025 16:16 1m 10s pg-infer
pg-infer
February 12, 2025 16:16 1m 10s
fix: re-add dropped section of build file CI #173: Commit 978701d pushed by seanmcl
February 12, 2025 14:47 4m 19s sm/fix
sm/fix
February 12, 2025 14:47 4m 19s
ci: Publish to pypi.org CI #172: Commit cd6c05c pushed by seanmcl
February 12, 2025 14:42 1m 6s v0.0.6
v0.0.6
February 12, 2025 14:42 1m 6s
feat: infer arguments if not available CI #171: Pull request #36 synchronize by seanmcl
February 12, 2025 14:39 1m 37s pg-infer
pg-infer
February 12, 2025 14:39 1m 37s
Merge branch 'main' into pg-infer CI #170: Commit 2bd6240 pushed by seanmcl
February 12, 2025 14:39 58s pg-infer
pg-infer
February 12, 2025 14:39 58s
ci: Publish to pypi.org CI #169: Commit cd6c05c pushed by seanmcl
February 12, 2025 14:38 2m 8s main
main
February 12, 2025 14:38 2m 8s
ci: Publish to pypi.org CI #168: Pull request #38 synchronize by seanmcl
February 12, 2025 00:25 1m 51s sm/00-pypi-test
sm/00-pypi-test
February 12, 2025 00:25 1m 51s
ci: Publish to pypi.org CI #167: Commit f38f7d0 pushed by seanmcl
February 12, 2025 00:25 50s sm/00-pypi-test
sm/00-pypi-test
February 12, 2025 00:25 50s