Skip to content

Actions: GaloisInc/saw-script

Actions

SAWScript

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,129 workflow runs
1,129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SAWScript SAWScript #3773: Scheduled
September 21, 2024 10:00 36m 24s master
master
September 21, 2024 10:00 36m 24s
SAWScript SAWScript #3772: Scheduled
September 20, 2024 10:00 36m 40s master
master
September 20, 2024 10:00 36m 40s
SAWScript SAWScript #3771: Scheduled
September 19, 2024 10:00 36m 32s master
master
September 19, 2024 10:00 36m 32s
Merge pull request #2123 from GaloisInc/argo-client-0.0.13 SAWScript #3770: Commit ad9319c pushed by RyanGlScott
September 18, 2024 19:23 36m 40s master
master
September 18, 2024 19:23 36m 40s
Python: Require argo-client >= 0.0.13 and cryptol 3.2.1 SAWScript #3769: Pull request #2123 opened by RyanGlScott
September 18, 2024 18:44 36m 50s argo-client-0.0.13
argo-client-0.0.13
September 18, 2024 18:44 36m 50s
SAWScript SAWScript #3768: Scheduled
September 18, 2024 10:00 38m 13s master
master
September 18, 2024 10:00 38m 13s
Merge pull request #2116 from GaloisInc/2114-coverage-version-bump SAWScript #3767: Commit 9251017 pushed by sauclovian-g
September 18, 2024 00:43 35m 58s master
master
September 18, 2024 00:43 35m 58s
Fix the way compute-coverage finds the hpc dir in dist-newstyle SAWScript #3766: Pull request #2116 synchronize by sauclovian-g
September 18, 2024 00:40 36m 16s 2114-coverage-version-bump
2114-coverage-version-bump
September 18, 2024 00:40 36m 16s
SAWScript SAWScript #3765: Scheduled
September 17, 2024 10:00 36m 47s master
master
September 17, 2024 10:00 36m 47s
SAWScript SAWScript #3764: Scheduled
September 16, 2024 10:00 36m 50s master
master
September 16, 2024 10:00 36m 50s
SAWScript SAWScript #3763: Scheduled
September 15, 2024 10:00 37m 27s master
master
September 15, 2024 10:00 37m 27s
SAWScript SAWScript #3762: Scheduled
September 14, 2024 10:00 1h 22m 1s master
master
September 14, 2024 10:00 1h 22m 1s
Fix the way compute-coverage finds the hpc dir in dist-newstyle SAWScript #3761: Pull request #2116 synchronize by RyanGlScott
September 13, 2024 18:29 39m 4s 2114-coverage-version-bump
2114-coverage-version-bump
September 13, 2024 18:29 39m 4s
Fix the way compute-coverage finds the hpc dir in dist-newstyle SAWScript #3760: Pull request #2116 synchronize by RyanGlScott
September 13, 2024 17:40 47m 3s 2114-coverage-version-bump
2114-coverage-version-bump
September 13, 2024 17:40 47m 3s
SAWScript SAWScript #3759: Scheduled
September 13, 2024 10:00 38m 27s master
master
September 13, 2024 10:00 38m 27s
Merge pull request #2121 from GaloisInc/2120-function-arrays SAWScript #3758: Commit cfaba80 pushed by sauclovian-g
September 12, 2024 19:39 45m 36s master
master
September 12, 2024 19:39 45m 36s
Don't fail when What4 sends us a function-based array in a result. SAWScript #3757: Pull request #2121 synchronize by sauclovian-g
September 12, 2024 19:38 38m 36s 2120-function-arrays
2120-function-arrays
September 12, 2024 19:38 38m 36s
Don't fail when What4 sends us a function-based array in a result. SAWScript #3756: Pull request #2121 synchronize by sauclovian-g
September 12, 2024 18:22 42m 25s 2120-function-arrays
2120-function-arrays
September 12, 2024 18:22 42m 25s
Don't fail when What4 sends us a function-based array in a result. SAWScript #3755: Pull request #2121 synchronize by sauclovian-g
September 12, 2024 18:18 42m 25s 2120-function-arrays
2120-function-arrays
September 12, 2024 18:18 42m 25s
SAWScript SAWScript #3754: Scheduled
September 12, 2024 10:00 38m 35s master
master
September 12, 2024 10:00 38m 35s
Don't fail when What4 sends us a function-based array in a result. SAWScript #3753: Pull request #2121 opened by sauclovian-g
September 12, 2024 00:24 50m 7s 2120-function-arrays
2120-function-arrays
September 12, 2024 00:24 50m 7s
SAWScript SAWScript #3752: Scheduled
September 11, 2024 10:00 1h 18m 6s master
master
September 11, 2024 10:00 1h 18m 6s
Fix the way compute-coverage finds the hpc dir in dist-newstyle SAWScript #3751: Pull request #2116 synchronize by sauclovian-g
September 10, 2024 22:10 1h 29m 58s 2114-coverage-version-bump
2114-coverage-version-bump
September 10, 2024 22:10 1h 29m 58s
Fix the way compute-coverage finds the hpc dir in dist-newstyle SAWScript #3750: Pull request #2116 synchronize by sauclovian-g
September 10, 2024 21:19 43m 3s 2114-coverage-version-bump
2114-coverage-version-bump
September 10, 2024 21:19 43m 3s
Explicitly pin the mir-json version that SAW requires (#2115) SAWScript #3749: Commit 2684385 pushed by RyanGlScott
September 10, 2024 18:09 44m 36s master
master
September 10, 2024 18:09 44m 36s