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

fix token permissions for trusted publishing release #24: Commit b926ae4 pushed by 0xkarmacoma
May 30, 2025 23:59 8m 46s v2.6.5
v2.6.5
May 30, 2025 23:59 8m 46s
fix token permissions for trusted publishing release #23: Commit b926ae4 pushed by 0xkarmacoma
May 30, 2025 23:51 3m 31s v2.6.4
v2.6.4
May 30, 2025 23:51 3m 31s
simplify smoke tests, fix mac local tests release #22: Commit e7f7c9a pushed by 0xkarmacoma
May 30, 2025 23:44 3m 27s v2.6.4
v2.6.4
May 30, 2025 23:44 3m 27s
simplify smoke tests, fix mac local tests build-macos #81: Commit e7f7c9a pushed by 0xkarmacoma
May 30, 2025 23:44 37s main
main
May 30, 2025 23:44 37s
simplify smoke tests, fix mac local tests build-windows #77: Commit e7f7c9a pushed by 0xkarmacoma
May 30, 2025 23:44 53s main
main
May 30, 2025 23:44 53s
simplify smoke tests, fix mac local tests build-linux #122: Commit e7f7c9a pushed by 0xkarmacoma
May 30, 2025 23:44 1m 7s main
main
May 30, 2025 23:44 1m 7s
release release #21: by 0xkarmacoma
May 30, 2025 23:34 2m 5s v2.6.4
v2.6.4
May 30, 2025 23:34 2m 5s
release release #20: by 0xkarmacoma
May 30, 2025 23:27 2m 12s v2.6.4
v2.6.4
May 30, 2025 23:27 2m 12s
use workflow inputs and conditional tests in all workflows release #19: Commit d1d9ca1 pushed by 0xkarmacoma
May 30, 2025 23:26 1s v2.6.4
v2.6.4
May 30, 2025 23:26 1s
use workflow inputs and conditional tests in all workflows build-macos #80: Commit d1d9ca1 pushed by 0xkarmacoma
May 30, 2025 23:26 11m 58s main
main
May 30, 2025 23:26 11m 58s
use workflow inputs and conditional tests in all workflows build-linux #121: Commit d1d9ca1 pushed by 0xkarmacoma
May 30, 2025 23:26 12m 19s main
main
May 30, 2025 23:26 12m 19s
use workflow inputs and conditional tests in all workflows build-windows #76: Commit d1d9ca1 pushed by 0xkarmacoma
May 30, 2025 23:26 12m 16s main
main
May 30, 2025 23:26 12m 16s
release release #18: Manually run by 0xkarmacoma
May 30, 2025 23:16 2m 57s main
main
May 30, 2025 23:16 2m 57s
fix condition, again build-linux #120: Commit bcf7b7e pushed by 0xkarmacoma
May 30, 2025 23:09 12m 19s main
main
May 30, 2025 23:09 12m 19s
release release #17: Manually run by 0xkarmacoma
May 30, 2025 22:53 28s main
main
May 30, 2025 22:53 28s
fix condition again build-linux #119: Commit 6a9706a pushed by 0xkarmacoma
May 30, 2025 22:52 12m 34s main
main
May 30, 2025 22:52 12m 34s
fix condition again build-windows #75: Commit 6a9706a pushed by 0xkarmacoma
May 30, 2025 22:52 11m 48s main
main
May 30, 2025 22:52 11m 48s
fix condition again build-macos #79: Commit 6a9706a pushed by 0xkarmacoma
May 30, 2025 22:52 11m 50s main
main
May 30, 2025 22:52 11m 50s
release release #16: Manually run by 0xkarmacoma
May 30, 2025 22:43 2m 1s main
main
May 30, 2025 22:43 2m 1s
fix job condition build-linux #118: Commit eb864c5 pushed by 0xkarmacoma
May 30, 2025 22:38 12m 31s main
main
May 30, 2025 22:38 12m 31s
release release #15: Manually run by 0xkarmacoma
May 30, 2025 22:23 92B4 1m 43s main
main
May 30, 2025 22:23 1m 43s
print inputs build-linux #117: Commit 0047dbd pushed by 0xkarmacoma
May 30, 2025 22:23 12m 32s main
main
May 30, 2025 22:23 12m 32s
release release #14: Manually run by 0xkarmacoma
May 30, 2025 22:17 31s main
main
May 30, 2025 22:17 31s
enable/disable tests via workflow input build-linux #116: Commit f4d0f63 pushed by 0xkarmacoma
May 30, 2025 22:17 12m 24s main
main
May 30, 2025 22:17 12m 24s
release release #13: Manually run by 0xkarmacoma
May 30, 2025 22:12 1m 43s main
main
May 30, 2025 22:12 1m 43s
0