Skip to content

Actions: leanprover/KLR

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ci: Publish to pypi.org CI #166: Pull request #38 synchronize by seanmcl
February 12, 2025 00:20 2m 29s sm/00-pypi-test
sm/00-pypi-test
February 12, 2025 00:20 2m 29s
ci: Publish to pypi.org CI #165: Commit 935e209 pushed by seanmcl
February 12, 2025 00:20 1m 1s sm/00-pypi-test
sm/00-pypi-test
February 12, 2025 00:20 1m 1s
ci: Publish to pypi.org CI #164: Pull request #38 synchronize by seanmcl
February 11, 2025 23:50 20m 4s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 23:50 20m 4s
Publish to test.pypi.org CI #163: Commit e3ecf16 pushed by seanmcl
February 11, 2025 23:50 1m 31s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 23:50 1m 31s
ci: Publish to pypi.org CI #162: Pull request #38 synchronize by seanmcl
February 11, 2025 21:18 5m 19s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 21:18 5m 19s
Publish to test.pypi.org CI #161: Commit d05b69e pushed by seanmcl
February 11, 2025 21:18 4m 45s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 21:18 4m 45s
ci: Publish to pypi.org CI #160: Pull request #38 opened by seanmcl
February 11, 2025 21:08 6m 48s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 21:08 6m 48s
Publish to test.pypi.org CI #159: Commit 6915fb3 pushed by seanmcl
February 11, 2025 21:08 6m 57s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 21:08 6m 57s
Publish to test.pypi.org CI #158: Commit 623cdf5 pushed by seanmcl
February 11, 2025 20:59 6m 1s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 20:59 6m 1s
Publish to test.pypi.org CI #157: Commit 6892a55 pushed by seanmcl
February 11, 2025 20:51 6m 6s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 20:51 6m 6s
Publish to test.pypi.org CI #156: Commit 0fce7e7 pushed by seanmcl
February 11, 2025 20:45 5m 26s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 20:45 5m 26s
Publish to test.pypi.org CI #155: Commit af6a8c5 pushed by seanmcl
February 11, 2025 20:32 5m 40s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 20:32 5m 40s
Publish to test.pypi.org CI #154: Commit 92eca35 pushed by seanmcl
February 11, 2025 20:09 23m 20s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 20:09 23m 20s
Publish to test.pypi.org CI #153: Commit aace60a pushed by seanmcl
February 11, 2025 19:42 5m 18s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 19:42 5m 18s
Publish to test.pypi.org CI #152: Commit c93c028 pushed by seanmcl
February 11, 2025 18:48 5m 59s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 18:48 5m 59s
Publish to test.pypi.org CI #151: Commit fef1402 pushed by seanmcl
February 11, 2025 00:23 42s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 00:23 42s
Publish to test.pypi.org CI #150: Commit afc3d48 pushed by seanmcl
February 11, 2025 00:06 37s sm/00-pypi-test
sm/00-pypi-test
February 11, 2025 00:06 37s
Publish to test.pypi.org CI #149: Commit a21ee3d pushed by seanmcl
February 10, 2025 23:49 4m 32s sm/00-pypi-test
sm/00-pypi-test
February 10, 2025 23:49 4m 32s
Publish to test.pypi.org CI #148: Commit b3cee82 pushed by seanmcl
February 10, 2025 23:35 5m 17s sm/00-pypi-test
sm/00-pypi-test
February 10, 2025 23:35 5m 17s
CI: Make a wheel CI #147: Commit 8c78aab pushed by seanmcl
February 10, 2025 18:33 4m 32s main
main
February 10, 2025 18:33 4m 32s
feat: infer arguments if not available CI #146: Pull request #36 synchronize by govereau
February 10, 2025 15:37 1m 2s pg-infer
pg-infer
February 10, 2025 15:37 1m 2s
feat: infer arguments if not available CI #145: Pull request #36 synchronize by govereau
February 10, 2025 15:34 1m 9s pg-infer
pg-infer
February 10, 2025 15:34 1m 9s
fix: report correct line number in error messages CI #144: Commit f4ad1dc pushed by govereau
February 10, 2025 14:20 1m 9s main
main
February 10, 2025 14:20 1m 9s