Skip to content

Actions: leanprover/KLR

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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