Skip to content

Actions: GaloisInc/what4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

What4 CI What4 CI #1098: by sauclovian-g
March 21, 2025 02:21 28m 37s v1.7
v1.7
March 21, 2025 02:21 28m 37s
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
Merge pull request #293 from GaloisInc/prepare-release-1.7.0 What4 CI #1097: Commit 4e37eb4 pushed by sauclovian-g
March 21, 2025 02:20 28m 4s master
master
March 21, 2025 02:20 28m 4s
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 What4 CI #1096: Pull request #293 synchronize by sauclovian-g
March 21, 2025 00:18 28m 13s prepare-release-1.7.0
prepare-release-1.7.0
March 21, 2025 00:18 28m 13s
Bump the version number to 1.7.0.0.99 for post-release devel version. What4 CI #1095: Commit f5e476f pushed by sauclovian-g
March 21, 2025 00:18 30m 12s prepare-release-1.7.0
prepare-release-1.7.0
March 21, 2025 00:18 30m 12s
Prepare release 1.7.0 What4 CI #1094: Pull request #293 synchronize by sauclovian-g
March 20, 2025 21:25 35m 0s prepare-release-1.7.0
prepare-release-1.7.0
March 20, 2025 21:25 35m 0s
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
Bump the version number to 1.7.0.0.99 for post-release devel version. What4 CI #1093: Commit 76bed38 pushed by sauclovian-g
March 20, 2025 21:25 41m 24s prepare-release-1.7.0
prepare-release-1.7.0
March 20, 2025 21:25 41m 24s
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
Prepare release 1.7.0 What4 CI #1092: Pull request #293 opened by sauclovian-g
March 20, 2025 20:47 28m 42s prepare-release-1.7.0
prepare-release-1.7.0
March 20, 2025 20:47 28m 42s
Bump the version number to 1.7.0.0.99 for post-release devel version. What4 CI #1091: Commit 7b6434c pushed by sauclovian-g
March 20, 2025 20:46 29m 41s prepare-release-1.7.0
prepare-release-1.7.0
March 20, 2025 20:46 29m 41s
ci: Use cabal-ghc-compat action What4 CI #1090: Commit 2a2db08 pushed by langston-barrett
March 13, 2025 16:26 1m 47s lb/cabal-ghc-compat
lb/cabal-ghc-compat
March 13, 2025 16:26 1m 47s
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} What4 CI #1089: Commit c185a55 pushed by langston-barrett
March 13, 2025 15:36 30m 0s master
master
March 13, 2025 15:36 30m 0s
ci: Stop caching ~/.cabal/{packages,store} What4 CI #1088: Pull request #292 opened by langston-barrett
March 13, 2025 14:27 28m 27s lb/ci-cleanup-cache
lb/ci-cleanup-cache
March 13, 2025 14:27 28m 27s
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
ci: Stop caching ~/.cabal/{packages,store} What4 CI #1087: Commit 1b76349 pushed by langston-barrett
March 13, 2025 14:27 28m 33s lb/ci-cleanup-cache
lb/ci-cleanup-cache
March 13, 2025 14:27 28m 33s
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
Merge pull request #290 from GaloisInc/lb/ci-tweaks What4 CI #1086: Commit 1affdaf pushed by langston-barrett
March 12, 2025 20:52 29m 2s master
master
March 12, 2025 20:52 29m 2s
ci: Small improvements What4 CI #1085: Pull request #290 synchronize by langston-barrett
March 12, 2025 20:22 29m 8s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 20:22 29m 8s
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: Remove runner.arch from cache key What4 CI #1084: Commit edc00b8 pushed by langston-barrett
March 12, 2025 20:22 28m 37s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 20:22 28m 37s
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 What4 CI #1083: Pull request #290 synchronize by langston-barrett
March 12, 2025 14:48 27m 43s lb/ci-tweaks
lb/ci-tweaks
March 12, 2025 14:48 27m 43s