Skip to content

Actions: GaloisInc/saw-script

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
925 workflow runs
925 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SAWScript SAWScript #4123: Scheduled
February 13, 2025 10:00 1h 4m 55s master
master
February 13, 2025 10:00 1h 4m 55s
Initial SAW Manual Reorganization SAWScript #4122: Pull request #2224 synchronize by ChrisEPhifer
February 12, 2025 21:02 48m 46s 2156-saw-user-manual-reorg
2156-saw-user-manual-reorg
February 12, 2025 21:02 48m 46s
Initial SAW Manual Reorganization SAWScript #4121: Pull request #2224 opened by ChrisEPhifer
February 12, 2025 21:00 44m 42s 2156-saw-user-manual-reorg
2156-saw-user-manual-reorg
February 12, 2025 21:00 44m 42s
Merge pull request #2222 from GaloisInc/cryptol-1800-exponentiation SAWScript #4120: Commit 378dcc9 pushed by sauclovian-g
February 12, 2025 19:43 39m 45s master
master
February 12, 2025 19:43 39m 45s
SAWScript SAWScript #4119: Scheduled
February 12, 2025 10:00 50m 18s master
master
February 12, 2025 10:00 50m 18s
Bump cryptol submodule to current head SAWScript #4118: Pull request #2222 opened by sauclovian-g
February 12, 2025 03:11 41m 29s cryptol-1800-exponentiation
cryptol-1800-exponentiation
February 12, 2025 03:11 41m 29s
Merge pull request #2221 from GaloisInc/crucible-T1304-unpackMemValue… SAWScript #4117: Commit 1418ce9 pushed by RyanGlScott
February 12, 2025 02:51 54m 38s master
master
February 12, 2025 02:51 54m 38s
Merge pull request #2219 from GaloisInc/405-options-handling SAWScript #4116: Commit 978b7d2 pushed by sauclovian-g
February 12, 2025 02:34 1h 5m 50s master
master
February 12, 2025 02:34 1h 5m 50s
Rework options handling for the saw executable SAWScript #4115: Pull request #2219 synchronize by sauclovian-g
February 12, 2025 02:29 52m 4s 405-options-handling
405-options-handling
February 12, 2025 02:29 52m 4s
Bump crucible submodule to bring in changes from GaloisInc/crucible#1297 and GaloisInc/crucible#1305 SAWScript #4114: Pull request #2221 opened by RyanGlScott
February 12, 2025 01:57 47m 39s crucible-T1304-unpackMemValue-LLVMValString
crucible-T1304-unpackMemValue-LLVMValString
February 12, 2025 01:57 47m 39s
Rework options handling for the saw executable SAWScript #4113: Pull request #2219 synchronize by sauclovian-g
February 12, 2025 00:08 49m 55s 405-options-handling
405-options-handling
February 12, 2025 00:08 49m 55s
Rework options handling for the saw executable SAWScript #4112: Pull request #2219 synchronize by sauclovian-g
February 12, 2025 00:05 43m 0s 405-options-handling
405-options-handling
February 12, 2025 00:05 43m 0s
Rework options handling for the saw executable SAWScript #4111: Pull request #2219 synchronize by sauclovian-g
February 11, 2025 23:50 51m 40s 405-options-handling
405-options-handling
February 11, 2025 23:50 51m 40s
SAWScript SAWScript #4110: Scheduled
February 11, 2025 10:00 42m 47s master
master
February 11, 2025 10:00 42m 47s
Merge pull request #2220 from GaloisInc/fix/doc-minutiae SAWScript #4109: Commit 74eef12 pushed by ChrisEPhifer
February 11, 2025 01:33 38m 50s master
master
February 11, 2025 01:33 38m 50s
Clean up documentation minutiae SAWScript #4108: Pull request #2220 opened by ChrisEPhifer
February 11, 2025 00:50 40m 54s fix/doc-minutiae
fix/doc-minutiae
February 11, 2025 00:50 40m 54s
Rework options handling for the saw executable SAWScript #4107: Pull request #2219 synchronize by sauclovian-g
February 10, 2025 23:55 41m 50s 405-options-handling
405-options-handling
February 10, 2025 23:55 41m 50s
Rework options handling for the saw executable SAWScript #4106: Pull request #2219 opened by sauclovian-g
February 10, 2025 22:17 8m 9s 405-options-handling
405-options-handling
February 10, 2025 22:17 8m 9s
Merge pull request #2202 from GaloisInc/2197-deploying-saws-written-m… SAWScript #4105: Commit 8fdfce6 pushed by ChrisEPhifer
February 10, 2025 21:27 38m 46s master
master
February 10, 2025 21:27 38m 46s
The SAW Documentation Revolution (Part 1) SAWScript #4104: Pull request #2202 synchronize by ChrisEPhifer
February 10, 2025 20:45 40m 46s 2197-deploying-saws-written-materials
2197-deploying-saws-written-materials
February 10, 2025 20:45 40m 46s
Merge pull request #2218 from GaloisInc/T2216-skip-coverage-on-forks SAWScript #4103: Commit 1a27b93 pushed by RyanGlScott
February 10, 2025 18:57 38m 37s master
master
February 10, 2025 18:57 38m 37s
CI: Don't run code coverage job on forks SAWScript #4102: Pull request #2218 opened by RyanGlScott
February 10, 2025 11:43 38m 6s T2216-skip-coverage-on-forks
T2216-skip-coverage-on-forks
February 10, 2025 11:43 38m 6s
SAWScript SAWScript #4101: Scheduled
February 10, 2025 10:00 40m 52s master
master
February 10, 2025 10:00 40m 52s
The SAW Documentation Revolution (Part 1) SAWScript #4100: Pull request #2202 synchronize by ChrisEPhifer
February 10, 2025 06:20 41m 4s 2197-deploying-saws-written-materials
2197-deploying-saws-written-materials
February 10, 2025 06:20 41m 4s
SAWScript SAWScript #4099: Scheduled
February 9, 2025 10:00 40m 47s master
master
February 9, 2025 10:00 40m 47s