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

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix static builds (#390) CI #611: Commit fed4643 pushed by CyanoKobalamyne
April 22, 2025 06:07 18m 0s main
main
April 22, 2025 06:07 18m 0s
Find GMP using pkg-config CI #610: Commit b1ca1b1 pushed by CyanoKobalamyne
April 22, 2025 05:27 18m 39s fix-static-build
fix-static-build
April 22, 2025 05:27 18m 39s
Find GMP using pkg-config CI #609: Commit 2e16bcf pushed by CyanoKobalamyne
April 22, 2025 05:10 18m 58s fix-static-build
fix-static-build
April 22, 2025 05:10 18m 58s
Find GMP using pkg-config CI #608: Commit b17c0d7 pushed by CyanoKobalamyne
April 22, 2025 04:51 18m 19s fix-static-build
fix-static-build
April 22, 2025 04:51 18m 19s
Find GMP using pkg-config CI #607: Commit 844a516 pushed by CyanoKobalamyne
April 22, 2025 04:49 17m 42s fix-static-build
fix-static-build
April 22, 2025 04:49 17m 42s
Add a missing source CI #606: Commit 0fb8c77 pushed by Po-Chun-Chien
April 21, 2025 23:58 18m 55s liveness
liveness
April 21, 2025 23:58 18m 55s
WIP: enable verbose make commands CI #605: Commit 91c96c2 pushed by CyanoKobalamyne
April 21, 2025 23:09 19m 8s fix-static-build
fix-static-build
April 21, 2025 23:09 19m 8s
Print installed solvers during smt-switch setup CI #604: Commit 1c7a455 pushed by Po-Chun-Chien
April 21, 2025 20:37 17m 53s improve-smt-switch-setup-logging
improve-smt-switch-setup-logging
April 21, 2025 20:37 17m 53s
Add instruction on how to build Pono with Docker CI #603: Commit 255e601 pushed by Po-Chun-Chien
April 21, 2025 20:14 17m 39s docker-build
docker-build
April 21, 2025 20:14 17m 39s
Disable static linking of pono executable on macOS CI #602: Commit efed3d7 pushed by CyanoKobalamyne
April 21, 2025 20:02 16m 29s fix-static-build
fix-static-build
April 21, 2025 20:02 16m 29s
WIP: enable verbose make commands CI #601: Commit 94067cc pushed by CyanoKobalamyne
April 21, 2025 19:19 9m 30s fix-static-build
fix-static-build
April 21, 2025 19:19 9m 30s
Trigger docker build only on push to main CI #600: Commit 7cd6da2 pushed by Po-Chun-Chien
April 21, 2025 03:22 18m 14s docker-build
docker-build
April 21, 2025 03:22 18m 14s
Improve naming and structure Docker #3: Commit 3231301 pushed by Po-Chun-Chien
April 21, 2025 03:02 17m 59s docker-build
docker-build
April 21, 2025 03:02 17m 59s
Improve naming and structure CI #599: Commit 3231301 pushed by Po-Chun-Chien
April 21, 2025 03:02 17m 16s docker-build
docker-build
April 21, 2025 03:02 17m 16s
Create a GitHub action to build docker image and publish to GHCR CI #598: Commit 134b5a7 pushed by Po-Chun-Chien
April 21, 2025 02:18 18m 48s docker-build
docker-build
April 21, 2025 02:18 18m 48s
Create a GitHub action to build docker image and publish to GHCR Docker #2: Commit 134b5a7 pushed by Po-Chun-Chien
April 21, 2025 02:18 17m 28s docker-build
docker-build
April 21, 2025 02:18 17m 28s
Create a GitHub action to build docker image and publish to GHCR CI #597: Commit 8138313 pushed by Po-Chun-Chien
April 21, 2025 02:17 17m 37s docker-build
docker-build
April 21, 2025 02:17 17m 37s
Create a GitHub action to build docker image and publish to GHCR Docker #1: Commit 8138313 pushed by Po-Chun-Chien
April 21, 2025 02:17 Failure docker-build
docker-build
April 21, 2025 02:17 Failure
Fix linking of Python extenstion module when in static mode CI #596: Commit 1ca4006 pushed by CyanoKobalamyne
April 19, 2025 00:58 9m 47s fix-static-build
fix-static-build
April 19, 2025 00:58 9m 47s
Use static libraries when linking static binary CI #595: Commit cd5bd41 pushed by CyanoKobalamyne
April 19, 2025 00:30 8m 35s fix-static-build
fix-static-build
April 19, 2025 00:30 8m 35s
Test static builds in CI CI #594: Commit 31d37c4 pushed by CyanoKobalamyne
April 16, 2025 23:29 9m 12s fix-static-build
fix-static-build
April 16, 2025 23:29 9m 12s
Test static builds in CI CI #593: Commit 08d1c38 pushed by CyanoKobalamyne
April 16, 2025 21:43 9m 12s fix-static-build
fix-static-build
April 16, 2025 21:43 9m 12s
Configurable smt-switch directory (#327) CI #592: Commit 7af10fa pushed by CyanoKobalamyne
April 16, 2025 18:26 18m 23s main
main
April 16, 2025 18:26 18m 23s
Refactor: local variables in a function should not be class members CI #591: Commit f27f707 pushed by Po-Chun-Chien
April 15, 2025 22:45 18m 26s btor2-symbol-map
btor2-symbol-map
April 15, 2025 22:45 18m 26s
Handle --justice option in main() CI #590: Commit f6cfd5c pushed by CyanoKobalamyne
April 11, 2025 21:12 10m 8s liveness
liveness
April 11, 2025 21:12 10m 8s
0