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

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
Merge pull request #270 from GaloisInc/update-tested-with lint #29: Commit 385da96 pushed by RyanGlScott
September 4, 2024 17:48 1m 13s master
master
September 4, 2024 17:48 1m 13s
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
Update tested-with versions lint #28: Pull request #270 opened by RyanGlScott
September 4, 2024 14:59 1m 18s update-tested-with
update-tested-with
September 4, 2024 14:59 1m 18s
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 lint #27: Commit 9461339 pushed by RyanGlScott
September 3, 2024 14:51 1m 12s master
master
September 3, 2024 14:51 1m 12s
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
1.6.1 release prep lint #26: Pull request #269 opened by RyanGlScott
September 3, 2024 14:19 1m 13s new-release-for-crucible-1246
new-release-for-crucible-1246
September 3, 2024 14:19 1m 13s
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
Concretization lint #25: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:09 2m 37s lb/concretize
lb/concretize
June 13, 2024 17:09 2m 37s
Further simplify concretization code What4 CI #1003: Commit 4068bb9 pushed by langston-barrett
June 13, 2024 17:09 40m 12s lb/concretize
lb/concretize
June 13, 2024 17:09 40m 12s
Concretization lint #24: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:05 6m 51s lb/concretize
lb/concretize
June 13, 2024 17:05 6m 51s
Concretization What4 CI #1002: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:05 47m 4s lb/concretize
lb/concretize
June 13, 2024 17:05 47m 4s
Remove dead code for converting between ConcreteVal/IndexLit What4 CI #1001: Commit 7e997e6 pushed by langston-barrett
June 13, 2024 17:05 43m 24s lb/concretize
lb/concretize
June 13, 2024 17:05 43m 24s
Concretization lint #23: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:04 1m 10s lb/concretize
lb/concretize
June 13, 2024 17:04 1m 10s
Concretization What4 CI #1000: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:04 30m 21s lb/concretize
lb/concretize
June 13, 2024 17:04 30m 21s
Remove dead code for converting between ConcreteVal/IndexLit What4 CI #999: Commit 49dbfe7 pushed by langston-barrett
June 13, 2024 17:04 27m 32s lb/concretize
lb/concretize
June 13, 2024 17:04 27m 32s
Concretization What4 CI #998: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:03 20m 27s lb/concretize
lb/concretize
June 13, 2024 17:03 20m 27s
Concretization lint #22: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:03 1m 14s lb/concretize
lb/concretize
June 13, 2024 17:03 1m 14s
Remove dead code for converting between ConcreteVal/IndexLit What4 CI #997: Commit ab41764 pushed by langston-barrett
June 13, 2024 17:03 16m 35s lb/concretize
lb/concretize
June 13, 2024 17:03 16m 35s
Concretization What4 CI #996: Pull request #264 synchronize by langston-barrett
June 13, 2024 17:03 26m 42s lb/concretize
lb/concretize
June 13, 2024 17:03 26m 42s