Skip to content

Actions: GaloisInc/what4

Actions

What4 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

What4 CI What4 CI #1028: by RyanGlScott
September 23, 2024 14:07 30m 51s v1.6.2
v1.6.2
September 23, 2024 14:07 30m 51s
Merge pull request #274 from GaloisInc/prepare-1.6.2-release What4 CI #1027: Commit 038e948 pushed by RyanGlScott
September 23, 2024 14:06 28m 17s master
master
September 23, 2024 14:06 28m 17s
Prepare 1.6.2 release What4 CI #1026: Pull request #274 opened by RyanGlScott
September 23, 2024 12:28 23m 14s prepare-1.6.2-release
prepare-1.6.2-release
September 23, 2024 12:28 23m 14s
Bump what4 development version to 1.6.2.0.99 What4 CI #1025: Commit eebba79 pushed by RyanGlScott
September 23, 2024 12:28 30m 23s prepare-1.6.2-release
prepare-1.6.2-release
September 23, 2024 12:28 30m 23s
Merge pull request #273 from GaloisInc/T272-ghc-9.10 What4 CI #1024: Commit 0e226ba pushed by RyanGlScott
September 23, 2024 11:42 31m 17s master
master
September 23, 2024 11:42 31m 17s
Support building with GHC 9.10 What4 CI #1023: Pull request #273 synchronize by RyanGlScott
September 20, 2024 20:53 27m 17s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 20:53 27m 17s
Add pkg-config binary to nix shell in CI What4 CI #1022: Commit ad0b318 pushed by RyanGlScott
September 20, 2024 20:53 27m 16s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 20:53 27m 16s
Support building with GHC 9.10 What4 CI #1021: Pull request #273 synchronize by kquick
September 20, 2024 17:17 26m 55s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 17:17 26m 55s
Add pkg-config binary to nix shell in CI What4 CI #1020: Commit 35046fc pushed by kquick
September 20, 2024 17:17 27m 35s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 17:17 27m 35s
Support building with GHC 9.10 What4 CI #1019: Pull request #273 synchronize by kquick
September 20, 2024 16:36 26m 48s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 16:36 26m 48s
Ensure pkg-config can find the nix-supplied zlib package What4 CI #1018: Commit bc2666a pushed by kquick
September 20, 2024 16:36 26m 33s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 16:36 26m 33s
Support building with GHC 9.10 What4 CI #1017: Pull request #273 synchronize by kquick
September 20, 2024 16:02 29m 51s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 16:02 29m 51s
Bump cache version and show cabal project configuration during CI What4 CI #1016: Commit c965b97 pushed by kquick
September 20, 2024 16:02 31m 0s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 16:02 31m 0s
Support building with GHC 9.10 What4 CI #1015: Pull request #273 synchronize by RyanGlScott
September 20, 2024 14:29 26m 6s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 14:29 26m 6s
CI: Consistently use GHC_NIXPKGS version What4 CI #1014: Commit cf82f45 pushed by RyanGlScott
September 20, 2024 14:29 27m 32s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 14:29 27m 32s
Support building with GHC 9.10 What4 CI #1013: Pull request #273 opened by RyanGlScott
September 19, 2024 14:57 31m 12s T272-ghc-9.10
T272-ghc-9.10
September 19, 2024 14:57 31m 12s
TEMPORARY HACK: Use allow-newer in cabal.project What4 CI #1012: Commit 0de9569 pushed by RyanGlScott
September 19, 2024 14:52 31m 13s T272-ghc-9.10
T272-ghc-9.10
September 19, 2024 14:52 31m 13s
Merge pull request #270 from GaloisInc/update-tested-with What4 CI #1011: Commit 385da96 pushed by RyanGlScott
September 4, 2024 17:48 24m 56s master
master
September 4, 2024 17:48 24m 56s
Update tested-with versions What4 CI #1010: Pull request #270 opened by RyanGlScott
September 4, 2024 14:59 28m 7s update-tested-with
update-tested-with
September 4, 2024 14:59 28m 7s
what4.cabal: Updated tested-with versions What4 CI #1009: Commit 530c3f5 pushed by RyanGlScott
September 3, 2024 15:25 26m 50s update-tested-with
update-tested-with
September 3, 2024 15:25 26m 50s
What4 CI What4 CI #1008: by RyanGlScott
September 3, 2024 14:54 30m 42s v1.6.1
v1.6.1
September 3, 2024 14:54 30m 42s
Merge pull request #269 from GaloisInc/new-release-for-crucible-1246 What4 CI #1007: Commit 9461339 pushed by RyanGlScott
September 3, 2024 14:51 32m 6s master
master
September 3, 2024 14:51 32m 6s
1.6.1 release prep What4 CI #1006: Pull request #269 opened by RyanGlScott
September 3, 2024 14:19 30m 38s new-release-for-crucible-1246
new-release-for-crucible-1246
September 3, 2024 14:19 30m 38s
Bump what4 development version to 1.6.1.0.99 What4 CI #1005: Commit d966e4b pushed by RyanGlScott
September 3, 2024 14:18 31m 2s new-release-for-crucible-1246
new-release-for-crucible-1246
September 3, 2024 14:18 31m 2s
Concretization What4 CI #1004: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:09 46m 9s lb/concretize
lb/concretize
June 13, 2024 17:09 46m 9s