8000 Workflow runs · a16z/yices-solver · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: a16z/yices-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
344 workflow runs
344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

release release #12: Manually run by 0xkarmacoma
May 30, 2025 21:56 1m 52s main
main
May 30, 2025 21:56 1m 52s
log trigger info build-linux #115: Commit 68798d5 pushed by 0xkarmacoma
May 30, 2025 21:54 12m 26s main
main
May 30, 2025 21:54 12m 26s
release release #11: Manually run by 0xkarmacoma
May 30, 2025 21:47 29s main
main
May 30, 2025 21:47 29s
don't require TEST_PYPI_API_TOKEN as a workflow input build-macos #78: Commit f24dfcf pushed by 0xkarmacoma
May 30, 2025 21:47 11m 46s main
main
May 30, 2025 21:47 11m 46s
don't require TEST_PYPI_API_TOKEN as a workflow input build-linux #114: Commit f24dfcf pushed by 0xkarmacoma
May 30, 2025 21:47 12m 19s main
main
May 30, 2025 21:47 12m 19s
don't require TEST_PYPI_API_TOKEN as a workflow input build-windows #74: Commit f24dfcf pushed by 0xkarmacoma
May 30, 2025 21:47 11m 44s main
main
May 30, 2025 21:47 11m 44s
release release #10: Manually run by 0xkarmacoma
May 30, 2025 21:46 1s main
main
May 30, 2025 21:46 1s
build-linux: smoke-test vs local-test build-linux #113: Commit ae140ad pushed by 0xkarmacoma
May 30, 2025 21:43 12m 25s main
main
May 30, 2025 21:43 12m 25s
release release #9: by 0xkarmacoma
May 30, 2025 18:36 1s v2.6.4
v2.6.4
May 30, 2025 18:36 1s
add a testpypi environment for test-publish release #8: Commit 9e60f8b pushed by 0xkarmacoma
May 30, 2025 18:22 1m 53s v2.6.4
v2.6.4
May 30, 2025 18:22 1m 53s
add a testpypi environment for test-publish build-windows #73: Commit 9e60f8b pushed by 0xkarmacoma
May 30, 2025 18:20 12m 5s main
main
May 30, 2025 18:20 12m 5s
add a testpypi environment for test-publish build-linux #112: Commit 9e60f8b pushed by 0xkarmacoma
May 30, 2025 18:20 12m 24s main
main
May 30, 2025 18:20 12m 24s
add a testpypi environment for test-publish build-macos #77: Commit 9e60f8b pushed by 0xkarmacoma
May 30, 2025 18:20 11m 55s main
main
May 30, 2025 18:20 11m 55s
build-linux build-linux #111: Manually run by 0xkarmacoma
May 30, 2025 18:08 1m 39s main
main
May 30, 2025 18:08 1m 39s
release release #7: by 0xkarmacoma
May 30, 2025 17:53 1m 47s v2.6.4
v2.6.4
May 30, 2025 17:53 1m 47s
release release #6: by 0xkarmacoma
May 30, 2025 17:48 1m 41s v2.6.4
v2.6.4
May 30, 2025 17:48 1m 41s
release release #5: by 0xkarmacoma
May 30, 2025 17:44 1m 48s v2.6.4
v2.6.4
May 30, 2025 17:44 1m 48s
use a TEST_WHEEL_VERSION for smoke tests (a.b.c.post123.dev456) release #4: Commit 2b171cf pushed by 0xkarmacoma
May 30, 2025 17:26 36s v2.6.4
v2.6.4
May 30, 2025 17:26 36s
use a TEST_WHEEL_VERSION for smoke tests (a.b.c.post123.dev456) build-macos #76: Commit 2b171cf pushed by 0xkarmacoma
May 30, 2025 17:25 11m 47s main
main
May 30, 2025 17:25 11m 47s
use a TEST_WHEEL_VERSION for smoke tests (a.b.c.post123.dev456) build-windows #72: Commit 2b171cf pushed by 0xkarmacoma
May 30, 2025 17:25 12m 3s main
main
May 30, 2025 17:25 12m 3s
use a TEST_WHEEL_VERSION for smoke tests (a.b.c.post123.dev456) build-linux #110: Commit 2b171cf pushed by 0xkarmacoma
May 30, 2025 17:25 12m 24s main
main
May 30, 2025 17:25 12m 24s
fix wheel version release #3: Commit 14b7e33 pushed by 0xkarmacoma
May 29, 2025 18:38 1m 45s v2.6.4
v2.6.4
May 29, 2025 18:38 1m 45s
fix wheel version build-windows #71: Commit 14b7e33 pushed by 0xkarmacoma
May 29, 2025 18:37 12m 16s main
main
May 29, 2025 18:37 12m 16s
fix wheel version build-linux #109: Commit 14b7e33 pushed by 0xkarmacoma
May 29, 2025 18:37 12m 22s main
main
May 29, 2025 18:37 12m 22s
release.yml: fix workflow permissions release #2: Commit 34ed09b pushed by 0xkarmacoma
May 29, 2025 18:28 1m 27s v2.6.4
v2.6.4
May 29, 2025 18:28 1m 27s
0