Skip to content

Actions: GaloisInc/saw-script

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,129 workflow runs
1,129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix printing of arrays when they appear in counterexamples. SAWScript #3698: Pull request #2110 opened by sauclovian-g
August 28, 2024 02:57 46m 25s 2049-print-arrays
2049-print-arrays
August 28, 2024 02:57 46m 25s
Merge pull request #2107 from GaloisInc/2064-const-refroots SAWScript #3697: Commit 47a7632 pushed by sauclovian-g
August 27, 2024 18:21 45m 29s master
master
August 27, 2024 18:21 45m 29s
SAWScript SAWScript #3696: Scheduled
August 27, 2024 10:00 1h 27m 28s master
master
August 27, 2024 10:00 1h 27m 28s
Bump crucible to get the Const_RefRoots fix. SAWScript #3695: Pull request #2107 synchronize by sauclovian-g
August 27, 2024 01:07 38m 23s 2064-const-refroots
2064-const-refroots
August 27, 2024 01:07 38m 23s
Bump crucible to get the Const_RefRoots fix. SAWScript #3694: Pull request #2107 synchronize by sauclovian-g
August 27, 2024 00:14 38m 27s 2064-const-refroots
2064-const-refroots
August 27, 2024 00:14 38m 27s
Bump crucible to get the Const_RefRoots fix. SAWScript #3693: Pull request #2107 opened by sauclovian-g
August 26, 2024 22:36 1h 5m 36s 2064-const-refroots
2064-const-refroots
August 26, 2024 22:36 1h 5m 36s
SAWScript SAWScript #3692: Scheduled
August 26, 2024 10:00 38m 42s master
master
August 26, 2024 10:00 38m 42s
SAWScript SAWScript #3691: Scheduled
August 25, 2024 10:00 38m 22s master
master
August 25, 2024 10:00 38m 22s
SAWScript SAWScript #3690: Scheduled
August 24, 2024 10:00 38m 2s master
master
August 24, 2024 10:00 38m 2s
Merge pull request #2094 from GaloisInc/2071-dholland-positioning SAWScript #3689: Commit fca29c3 pushed by sauclovian-g
August 23, 2024 22:17 41m 48s master
master
August 23, 2024 22:17 41m 48s
Merge pull request #2104 from GaloisInc/2103-fix-list-bin SAWScript #3688: Commit 01ee3e0 pushed by sauclovian-g
August 23, 2024 22:15 39m 18s master
master
August 23, 2024 22:15 39m 18s
Rework the position tracking for types. SAWScript #3687: Pull request #2094 synchronize by sauclovian-g
August 23, 2024 20:41 40m 26s 2071-dholland-positioning
2071-dholland-positioning
August 23, 2024 20:41 40m 26s
Use -v0 with cabal list-bin in build.sh. SAWScript #3686: Pull request #2104 opened by sauclovian-g
August 23, 2024 20:39 39m 59s 2103-fix-list-bin
2103-fix-list-bin
August 23, 2024 20:39 39m 59s
Merge pull request #2102 from GaloisInc/2100-bashisms SAWScript #3685: Commit 4ea7d99 pushed by sauclovian-g
August 23, 2024 19:18 38m 43s master
master
August 23, 2024 19:18 38m 43s
Remove leftover bashism in build.sh SAWScript #3684: Pull request #2102 opened by sauclovian-g
August 23, 2024 18:35 40m 45s 2100-bashisms
2100-bashisms
August 23, 2024 18:35 40m 45s
SAWScript SAWScript #3683: Scheduled
August 23, 2024 10:00 38m 32s master
master
August 23, 2024 10:00 38m 32s
Merge pull request #2098 from GaloisInc/ghc-9.8 SAWScript #3682: Commit 7873573 pushed by RyanGlScott
August 22, 2024 22:31 1h 31m 50s master
master
August 22, 2024 22:31 1h 31m 50s
Support building with GHC 9.8 SAWScript #3681: Pull request #2098 synchronize by RyanGlScott
August 22, 2024 21:26 56m 57s ghc-9.8
ghc-9.8
August 22, 2024 21:26 56m 57s
SAWScript SAWScript #3680: Scheduled
August 22, 2024 10:00 56m 21s master
master
August 22, 2024 10:00 56m 21s
Support building with GHC 9.8 SAWScript #3679: Pull request #2098 opened by RyanGlScott
August 21, 2024 13:28 1h 32m 29s ghc-9.8
ghc-9.8
August 21, 2024 13:28 1h 32m 29s
SAWScript SAWScript #3678: Scheduled
August 21, 2024 10:00 55m 32s master
master
August 21, 2024 10:00 55m 32s
Bump lmdb submodule to bring in GaloisInc/lmdb#5 (#2095) SAWScript #3677: Commit aa4a966 pushed by RyanGlScott
August 20, 2024 16:43 1h 0m 11s master
master
August 20, 2024 16:43 1h 0m 11s
Bump lmdb submodule to bring in GaloisInc/lmdb#5 SAWScript #3676: Pull request #2095 opened by RyanGlScott
August 20, 2024 15:40 1h 2m 24s T2084-lmdb-fix-linking-macOS-AArch64
T2084-lmdb-fix-linking-macOS-AArch64
August 20, 2024 15:40 1h 2m 24s
SAWScript SAWScript #3675: Manually run by RyanGlScott
August 20, 2024 11:57 33m 44s ghc-9.8
ghc-9.8
August 20, 2024 11:57 33m 44s
SAWScript SAWScript #3674: Scheduled
August 20, 2024 10:00 54m 25s master
master
August 20, 2024 10:00 54m 25s