Skip to content

Actions: GaloisInc/saw-script

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
929 workflow runs
929 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix up the aws-lc-verification and blst-verification CI runs SAWScript #4051: Pull request #2199 synchronize by sauclovian-g
January 28, 2025 00:06 1h 24m 41s 2166-fix-ci
2166-fix-ci
January 28, 2025 00:06 1h 24m 41s
Fix up the aws-lc-verification and blst-verification CI runs SAWScript #4050: Pull request #2199 synchronize by sauclovian-g
January 27, 2025 22:50 3m 59s 2166-fix-ci
2166-fix-ci
January 27, 2025 22:50 3m 59s
Fix up the aws-lc-verification and blst-verification CI runs SAWScript #4049: Pull request #2199 synchronize by sauclovian-g
January 27, 2025 22:47 4m 21s 2166-fix-ci
2166-fix-ci
January 27, 2025 22:47 4m 21s
Fix up the aws-lc-verification and blst-verification CI runs SAWScript #4048: Pull request #2199 opened by sauclovian-g
January 27, 2025 22:19 32m 6s 2166-fix-ci
2166-fix-ci
January 27, 2025 22:19 32m 6s
SAWScript SAWScript #4047: Scheduled
January 27, 2025 10:00 39m 27s master
master
January 27, 2025 10:00 39m 27s
SAWScript SAWScript #4046: Scheduled
January 26, 2025 10:00 38m 26s master
master
January 26, 2025 10:00 38m 26s
SAWScript SAWScript #4045: Scheduled
January 25, 2025 10:00 39m 32s master
master
January 25, 2025 10:00 39m 32s
Merge pull request #2173 from GaloisInc/bitwuzla SAWScript #4044: Commit 24c180f pushed by RyanGlScott
January 24, 2025 15:11 47m 28s master
master
January 24, 2025 15:11 47m 28s
Add Bitwuzla support SAWScript #4043: Pull request #2173 synchronize by RyanGlScott
January 24, 2025 14:26 41m 14s bitwuzla
bitwuzla
January 24, 2025 14:26 41m 14s
Add Bitwuzla support SAWScript #4042: Pull request #2173 synchronize by RyanGlScott
January 24, 2025 12:57 1h 24m 37s bitwuzla
bitwuzla
January 24, 2025 12:57 1h 24m 37s
Merge pull request #2174 from GaloisInc/bump-cryptol-1751 SAWScript #4041: Commit fe668de pushed by RyanGlScott
January 24, 2025 12:45 1h 31m 51s master
master
January 24, 2025 12:45 1h 31m 51s
SAWScript SAWScript #4040: Scheduled
January 24, 2025 10:00 38m 26s master
master
January 24, 2025 10:00 38m 26s
Add the (modernized) test case from #220 SAWScript #4039: Pull request #2196 opened by sauclovian-g
January 24, 2025 03:16 53m 57s 220-inexact-postcond-test
220-inexact-postcond-test
January 24, 2025 03:16 53m 57s
Merge pull request #2195 from GaloisInc/1225-sawcore-lexer SAWScript #4038: Commit ec8844e pushed by sauclovian-g
January 24, 2025 03:13 49m 52s master
master
January 24, 2025 03:13 49m 52s
Clean out the saw-core lexer SAWScript #4037: Pull request #2195 synchronize by sauclovian-g
January 24, 2025 02:27 45m 8s 1225-sawcore-lexer
1225-sawcore-lexer
January 24, 2025 02:27 45m 8s
Adapt to changes from GaloisInc/cryptol#1751, GaloisInc/cryptol#1526, and friends SAWScript #4036: Pull request #2174 synchronize by RyanGlScott
January 23, 2025 21:57 39m 15s bump-cryptol-1751
bump-cryptol-1751
January 23, 2025 21:57 39m 15s
Adapt to changes from GaloisInc/cryptol#1751, GaloisInc/cryptol#1526, and friends SAWScript #4035: Pull request #2174 synchronize by RyanGlScott
January 23, 2025 20:10 1h 22m 45s bump-cryptol-1751
bump-cryptol-1751
January 23, 2025 20:10 1h 22m 45s
Adapt to changes from GaloisInc/cryptol#1751, GaloisInc/cryptol#1526, and friends SAWScript #4034: Pull request #2174 synchronize by RyanGlScott
January 23, 2025 20:02 5m 55s bump-cryptol-1751
bump-cryptol-1751
January 23, 2025 20:02 5m 55s
SAWScript SAWScript #4033: Scheduled
January 23, 2025 10:00 39m 25s master
master
January 23, 2025 10:00 39m 25s
Clean out the saw-core lexer SAWScript #4032: Pull request #2195 opened by sauclovian-g
January 23, 2025 00:36 52m 6s 1225-sawcore-lexer
1225-sawcore-lexer
January 23, 2025 00:36 52m 6s
Merge pull request #2191 from GaloisInc/2181-comments SAWScript #4031: Commit 97bcdf4 pushed by sauclovian-g
January 23, 2025 00:05 41m 44s master
master
January 23, 2025 00:05 41m 44s
Fix line vs. block comment interaction in the saw-script lexer SAWScript #4030: Pull request #2191 synchronize by sauclovian-g
January 22, 2025 21:17 39m 36s 2181-comments
2181-comments
January 22, 2025 21:17 39m 36s
Fix line vs. block comment interaction in the saw-script lexer SAWScript #4029: Pull request #2191 synchronize by sauclovian-g
January 22, 2025 21:01 39m 28s 2181-comments
2181-comments
January 22, 2025 21:01 39m 28s
SAWScript SAWScript #4028: Scheduled
January 22, 2025 10:00 1h 3m 48s master
master
January 22, 2025 10:00 1h 3m 48s
Deprecate llvm_struct SAWScript #4027: Pull request #2183 synchronize by sauclovian-g
January 22, 2025 05:45 38m 24s 2159-deprecate-llvm-struct
2159-deprecate-llvm-struct
January 22, 2025 05:45 38m 24s