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