Skip to content

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused logging parameter CI #421: Commit 7f15f34 pushed by CyanoKobalamyne
September 14, 2024 06:01 18m 7s delete-unused-logging-param
delete-unused-logging-param
September 14, 2024 06:01 18m 7s
Don't exit MathSAT setup script halfway through (#351) CI #420: Commit 58f61e1 pushed by CyanoKobalamyne
September 13, 2024 01:20 17m 59s main
main
September 13, 2024 01:20 17m 59s
Don't exit MathSAT setup script halfway through CI #419: Pull request #351 opened by CyanoKobalamyne
September 13, 2024 00:37 17m 42s msat-script-fix
msat-script-fix
September 13, 2024 00:37 17m 42s
Don't exit MathSAT setup script halfway through CI #418: Commit 95280e1 pushed by CyanoKobalamyne
September 13, 2024 00:30 18m 4s msat-script-fix
msat-script-fix
September 13, 2024 00:30 18m 4s
Enable Yices2 backend CI #417: Pull request #350 opened by CyanoKobalamyne
September 13, 2024 00:26 17m 45s yices-support
yices-support
September 13, 2024 00:26 17m 45s
Enable support for Z3 CI #416: Commit 3822f27 pushed by CyanoKobalamyne
September 12, 2024 20:09 17m 34s z3-support
z3-support
September 12, 2024 20:09 17m 34s
Enable Yices2 backend CI #415: Commit 438ed39 pushed by CyanoKobalamyne
September 12, 2024 18:24 18m 16s yices-support
yices-support
September 12, 2024 18:24 18m 16s
Build static release binary and upload as artifact CI #414: Commit d984107 pushed by CyanoKobalamyne
September 11, 2024 23:02 18m 54s benchmarking
benchmarking
September 11, 2024 23:02 18m 54s
Build static release binary and upload as artifact CI #413: Commit 78c5d2d pushed by CyanoKobalamyne
September 11, 2024 05:30 18m 52s hwmcc24
hwmcc24
September 11, 2024 05:30 18m 52s
Build static release binary and upload as artifact Python Wheels #28: Commit 78c5d2d pushed by CyanoKobalamyne
September 11, 2024 05:30 12s hwmcc24
hwmcc24
September 11, 2024 05:30 12s
Build static release binary and upload as artifact CI #412: Commit 78c5d2d pushed by CyanoKobalamyne
September 11, 2024 04:39 18m 21s benchmarking
benchmarking
September 11, 2024 04:39 18m 21s
Build static release binary and upload as artifact CI #411: Commit b12f9cd pushed by CyanoKobalamyne
September 11, 2024 03:55 18m 4s benchmarking
benchmarking
September 11, 2024 03:55 18m 4s
Build static release binary and upload as artifact CI #410: Commit 2b9c09e pushed by CyanoKobalamyne
September 11, 2024 02:40 18m 46s benchmarking
benchmarking
September 11, 2024 02:40 18m 46s
Build static release binary and upload as artifact CI #409: Commit 9233c3c pushed by CyanoKobalamyne
September 11, 2024 02:24 10m 25s benchmarking
benchmarking
September 11, 2024 02:24 10m 25s
Build static release binary and upload as artifact CI #408: Commit e3f6927 pushed by CyanoKobalamyne
September 11, 2024 00:00 10m 7s benchmarking
benchmarking
September 11, 2024 00:00 10m 7s
Fix naming of automatically generated next-state variables (#349) CI #407: Commit 96136ce pushed by CyanoKobalamyne
September 10, 2024 23:45 18m 47s main
main
September 10, 2024 23:45 18m 47s
Fix naming of automatically generated next-state variables CI #406: Pull request #349 opened by CyanoKobalamyne
September 10, 2024 22:50 17m 39s next-var-fix
next-var-fix
September 10, 2024 22:50 17m 39s
Change default next-state suffix CI #405: Commit 3ac3039 pushed by CyanoKobalamyne
September 10, 2024 21:41 17m 27s next-var-fix
next-var-fix
September 10, 2024 21:41 17m 27s
Change default next-state suffix CI #404: Commit e51b233 pushed by CyanoKobalamyne
September 10, 2024 06:11 17m 37s next-var-fix
next-var-fix
September 10, 2024 06:11 17m 37s
Change TS test to exhibit bug CI #403: Commit 6ccd0d3 pushed by CyanoKobalamyne
September 10, 2024 06:10 10m 34s next-var-fix
next-var-fix
September 10, 2024 06:10 10m 34s
Change default next-state suffix CI #402: Commit 393bea0 pushed by CyanoKobalamyne
September 10, 2024 01:27 17m 55s next-var-fix
next-var-fix
September 10, 2024 01:27 17m 55s
Change TS test to exhibit bug CI #401: Commit 7840539 pushed by CyanoKobalamyne
September 10, 2024 01:25 18m 51s next-var-fix
next-var-fix
September 10, 2024 01:25 18m 51s
Make next-state suffix configurable CI #400: Commit 12e6bae pushed by CyanoKobalamyne
September 10, 2024 01:24 17m 11s next-var-fix
next-var-fix
September 10, 2024 01:24 17m 11s
Unify TS constructors CI #399: Commit 5386b86 pushed by CyanoKobalamyne
September 9, 2024 23:51 17m 31s next-var-fix
next-var-fix
September 9, 2024 23:51 17m 31s
Update parallel script for benchmarking CI #398: Commit 8ea1f74 pushed by CyanoKobalamyne
August 31, 2024 12:08 17m 41s hwmcc24
hwmcc24
August 31, 2024 12:08 17m 41s