Skip to content

Actions: GaloisInc/what4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 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
Merge pull request #274 from GaloisInc/prepare-1.6.2-release lint #38: Commit 038e948 pushed by RyanGlScott
September 23, 2024 14:06 1m 12s master
master
September 23, 2024 14:06 1m 12s
Prepare 1.6.2 release lint #37: Pull request #274 opened by RyanGlScott
September 23, 2024 12:28 1m 10s prepare-1.6.2-release
prepare-1.6.2-release
September 23, 2024 12:28 1m 10s
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 lint #36: Commit 0e226ba pushed by RyanGlScott
September 23, 2024 11:42 1m 14s master
master
September 23, 2024 11:42 1m 14s
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
Support building with GHC 9.10 lint #35: Pull request #273 synchronize by RyanGlScott
September 20, 2024 20:53 1m 9s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 20:53 1m 9s
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 lint #34: Pull request #273 synchronize by kquick
September 20, 2024 17:17 1m 8s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 17:17 1m 8s
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 lint #33: Pull request #273 synchronize by kquick
September 20, 2024 16:36 1m 7s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 16:36 1m 7s
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 lint #32: Pull request #273 synchronize by kquick
September 20, 2024 16:02 1m 24s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 16:02 1m 24s
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
Support building with GHC 9.10 lint #31: Pull request #273 synchronize by RyanGlScott
September 20, 2024 14:29 1m 13s T272-ghc-9.10
T272-ghc-9.10
September 20, 2024 14:29 1m 13s
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 lint #30: Pull request #273 opened by RyanGlScott
September 19, 2024 14:57 1m 13s T272-ghc-9.10
T272-ghc-9.10
September 19, 2024 14:57 1m 13s
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