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

put back gperf build-linux #4: Commit 4742b80 pushed by 0xkarmacoma
May 16, 2025 23:07 3m 41s main
main
May 16, 2025 23:07 3m 41s
put back missing autoconf build-linux #3: Commit 51fd99b pushed by 0xkarmacoma
May 16, 2025 23:05 8000 1m 48s main
main
May 16, 2025 23:05 1m 48s
fix build-linux build-linux #2: Commit 9bc445a pushed by 0xkarmacoma
May 16, 2025 23:01 1m 47s main
main
May 16, 2025 23:01 1m 47s
move build-linux.yml build-linux #1: Commit f02daaf pushed by 0xkarmacoma
May 16, 2025 23:01 1s main
main
May 16, 2025 23:01 1s
rename to yices-solver build-and-upload-wheels #40: Commit 44a2bc5 pushed by 0xkarmacoma
May 16, 2025 17:52 3m 10s main
main
May 16, 2025 17:52 3m 10s
remove the boostrap module (avoid cpython dependency) build-and-upload-wheels #39: Commit 632531c pushed by 0xkarmacoma
May 16, 2025 17:30 11s main
main
May 16, 2025 17:30 11s
remove script build-and-upload-wheels #38: Commit 1eca25b pushed by 0xkarmacoma
May 16, 2025 17:19 4m 14s main
main
May 16, 2025 17:19 4m 14s
simplify smoke test build-and-upload-wheels #37: Commit 511386c pushed by 0xkarmacoma
May 15, 2025 23:01 4m 18s main
main
May 15, 2025 23:01 4m 18s
fix download-artifacts path build-and-upload-wheels #36: Commit bf671c6 pushed by 0xkarmacoma
May 15, 2025 22:50 4m 50s main
main
May 15, 2025 22:50 4m 50s
skip win32 target, the release binaries are for amd64 build-and-upload-wheels #35: Commit 6ab1b2d pushed by 0xkarmacoma
May 15, 2025 22:43 4m 17s main
main
May 15, 2025 22:43 4m 17s
separate download + stage on windows runner too build-and-upload-wheels #34: Commit dab59d7 pushed by 0xkarmacoma
May 15, 2025 22:29 6m 20s main
main
May 15, 2025 22:29 6m 20s
fix mac build syntax build-and-upload-wheels #33: Commit 1a00de9 pushed by 0xkarmacoma
May 15, 2025 22:27 7m 44s main
main
May 15, 2025 22:27 7m 44s
force bash on windows build-and-upload-wheels #32: Commit dc84f61 pushed by 0xkarmacoma
May 15, 2025 22:24 6m 58s main
main
May 15, 2025 22:24 6m 58s
avoid redownloading the release for each python version build-and-upload-wheels #31: Commit 4a47d22 pushed by 0xkarmacoma
May 15, 2025 22:16 3m 28s main
main
May 15, 2025 22:16 3m 28s
use correct --require-target-macos-version arg build-and-upload-wheels #30: Commit 46513ae pushed by 0xkarmacoma
May 15, 2025 22:10 4m 5s main
main
May 15, 2025 22:10 4m 5s
bump required OS X version to 11.0 (matches yices release binaries) build-and-upload-wheels #29: Commit 7fdff8b pushed by 0xkarmacoma
May 15, 2025 22:08 3m 31s main
main
May 15, 2025 22:08 3m 31s
project.license is killing me build-and-upload-wheels #28: Commit 357925f pushed by 0xkarmacoma
May 15, 2025 21:56 3m 41s main
main
May 15, 2025 21:56 3m 41s
clone the requested yices version build-and-upload-wheels #27: Commit d03d455 pushed by 0xkarmacoma
May 15, 2025 21:52 2m 49s main
main
May 15, 2025 21:52 2m 49s
revert project.license change build-and-upload-wheels #26: Commit 79810c1 pushed by 0xkarmacoma
May 15, 2025 21:45 2m 10s main
main
May 15, 2025 21:45 2m 10s
add smoke tests build-and-upload-wheels #25: Commit fefbc45 pushed by 0xkarmacoma
May 15, 2025 21:38 2m 25s main
main
May 15, 2025 21:38 2m 25s
linux: support multiple python builds build-and-upload-wheels #24: Commit 1f674d6 pushed by 0xkarmacoma
May 15, 2025 17:23 3m 26s main
main
May 15, 2025 17:23 3m 26s
turns out we need the CIBW_MANYLINUX_X86_64_IMAGE env var build-and-upload-wheels #23: Commit b33a4b9 pushed by 0xkarmacoma
May 15, 2025 16:43 4m 23s main
main
May 15, 2025 16:43 4m 23s
linux: fix auditwheel command again build-and-upload-wheels #22: Commit 08f1064 pushed by 0xkarmacoma
May 15, 2025 16:20 4m 37s main
main
May 15, 2025 16:20 4m 37s
linux: fix auditwheel command build-and-upload-wheels #21: Commit 1d1032f pushed by 0xkarmacoma
May 15, 2025 16:09 3m 14s main
main
May 15, 2025 16:09 3m 14s
linux: fix destination paths build-and-upload-wheels #20: Commit e4b50af pushed by 0xkarmacoma
May 15, 2025 16:00 3m 37s main
main
May 15, 2025 16:00 3m 37s
ProTip! You can narrow down the results and go further in time using created:<2025-05-15 or the other filters available.
0