Skip to content

Actions: GaloisInc/what4

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Pin OS version to ubuntu-24.04 lint #77: Commit f3bfc43 pushed by langston-barrett
March 28, 2025 12:24 1m 16s master
master
March 28, 2025 12:24 1m 16s
ci: Pin OS version to ubuntu-24.04 lint #76: Pull request #299 synchronize by langston-barrett
March 27, 2025 21:00 1m 8s ci-ubuntu-versions
ci-ubuntu-versions
March 27, 2025 21:00 1m 8s
ci: Move GHC/Cabal compatibility check to improve caching lint #75: Commit 0e8662f pushed by langston-barrett
March 27, 2025 21:00 1m 8s master
master
March 27, 2025 21:00 1m 8s
ci: Move GHC/Cabal compatibility check to improve caching lint #74: Pull request #297 synchronize by langston-barrett
March 27, 2025 20:30 1m 10s ci-caching-fix
ci-caching-fix
March 27, 2025 20:30 1m 10s
ci: Fix caching of Cabal store lint #73: Commit 7213081 pushed by langston-barrett
March 27, 2025 20:30 1m 15s master
master
March 27, 2025 20:30 1m 15s
ci: Fix caching of Cabal store lint #72: Pull request #301 opened by langston-barrett
March 27, 2025 19:36 1m 15s ci-cache-cabal-store
ci-cache-cabal-store
March 27, 2025 19:36 1m 15s
ci: Pin OS version to ubuntu-24.04 lint #71: Pull request #299 opened by langston-barrett
March 27, 2025 19:17 1m 12s ci-ubuntu-versions
ci-ubuntu-versions
March 27, 2025 19:17 1m 12s
ci: Move GHC/Cabal compatibility check to improve caching lint #70: Pull request #297 opened by langston-barrett
March 27, 2025 18:42 1m 12s ci-caching-fix
ci-caching-fix
March 27, 2025 18:42 1m 12s
ci: Use cabal-ghc-compat action lint #69: Pull request #295 opened by langston-barrett
March 26, 2025 13:57 1m 10s lb/cabal-ghc-compat
lb/cabal-ghc-compat
March 26, 2025 13:57 1m 10s
Merge pull request #293 from GaloisInc/prepare-release-1.7.0 lint #68: Commit 4e37eb4 pushed by sauclovian-g
March 21, 2025 02:20 1m 15s master
master
March 21, 2025 02:20 1m 15s
Prepare release 1.7.0 lint #67: Pull request #293 synchronize by sauclovian-g
March 21, 2025 00:18 1m 12s prepare-release-1.7.0
prepare-release-1.7.0
March 21, 2025 00:18 1m 12s
Prepare release 1.7.0 lint #66: Pull request #293 synchronize by sauclovian-g
March 20, 2025 21:25 1m 9s prepare-release-1.7.0
prepare-release-1.7.0
March 20, 2025 21:25 1m 9s
Prepare release 1.7.0 lint #65: Pull request #293 opened by sauclovian-g
March 20, 2025 20:47 1m 17s prepare-release-1.7.0
prepare-release-1.7.0
March 20, 2025 20:47 1m 17s
ci: Stop caching ~/.cabal/{packages,store} lint #64: Commit c185a55 pushed by langston-barrett
March 13, 2025 15:36 1m 46s master
master
March 13, 2025 15:36 1m 46s
ci: Stop caching ~/.cabal/{packages,store} lint #63: Pull request #292 opened by langston-barrett
March 13, 2025 14:27 1m 12s lb/ci-cleanup-cache
lb/ci-cleanup-cache
March 13, 2025 14:27 1m 12s
Merge pull request #290 from GaloisInc/lb/ci-tweaks lint #62: Commit 1affdaf pushed by langston-barrett
March 12, 2025 20:52 1m 16s master
master
March 12, 2025 20:52 1m 16s
ci: Small improvements lint #61: Pull request #290 synchronize by langston-barrett
March 12, 2025 20:22 1m 16s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 20:22 1m 16s
ci: Small improvements lint #60: Pull request #290 synchronize by langston-barrett
March 12, 2025 14:48 1m 15s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 14:48 1m 15s
ci: Small improvements lint #59: Pull request #290 synchronize by langston-barrett
March 12, 2025 13:50 1m 16s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 13:50 1m 16s
ci: Small improvements lint #58: Pull request #290 synchronize by langston-barrett
March 12, 2025 13:49 1m 13s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 13:49 1m 13s
ci: Small improvements lint #57: Pull request #290 opened by langston-barrett
March 12, 2025 13:48 1m 19s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 13:48 1m 19s
Bump what4 development version to 1.6.3.0.99 lint #56: Commit 5c1e543 pushed by RyanGlScott
February 26, 2025 21:42 1m 12s master
master
February 26, 2025 21:42 1m 12s
Backport #288 changes to new minor release (1.6.3) lint #55: Pull request #289 synchronize by RyanGlScott
February 26, 2025 21:05 1m 11s 1.6-backport-T288-timeout-fix
1.6-backport-T288-timeout-fix
February 26, 2025 21:05 1m 11s
Merge pull request #288 from GaloisInc/dm/timeout-fix lint #54: Commit 44000e2 pushed by danmatichuk
February 26, 2025 19:12 1m 8s master
master
February 26, 2025 19:12 1m 8s
SMTLib2: only send exit command if solver process is active lint #53: Pull request #288 synchronize by danmatichuk
February 26, 2025 19:11 1m 18s dm/timeout-fix
dm/timeout-fix
February 26, 2025 19:11 1m 18s