Skip to content

Actions: DistRap/ivory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove Setup.hs everywhere Haskell CI #57: Commit 802a976 pushed by sorki
December 16, 2023 18:03 3m 16s srk/chores
srk/chores
December 16, 2023 18:03 3m 16s
More chores Haskell CI #56: Pull request #10 synchronize by sorki
December 16, 2023 17:58 3m 1s srk/chores
srk/chores
December 16, 2023 17:58 3m 1s
update all cabal files to cabal-version: 2.2, source-repository URLs Haskell CI #55: Commit 5c1639a pushed by sorki
December 16, 2023 17:58 2m 50s srk/chores
srk/chores
December 16, 2023 17:58 2m 50s
More chores Haskell CI #54: Pull request #10 synchronize by sorki
December 16, 2023 17:45 10m 24s srk/chores
srk/chores
December 16, 2023 17:45 10m 24s
drop tasty, tasty-hunit deps from ivory-tasty testsuite Haskell CI #53: Commit 15b471e pushed by sorki
December 16, 2023 17:44 10m 15s srk/chores
srk/chores
December 16, 2023 17:44 10m 15s
More chores Haskell CI #52: Pull request #10 synchronize by sorki
December 16, 2023 17:31 5m 30s srk/chores
srk/chores
December 16, 2023 17:31 5m 30s
shave off last incomplete patterns from tests Haskell CI #51: Commit 81c2f3b pushed by sorki
December 16, 2023 17:31 5m 13s srk/chores
srk/chores
December 16, 2023 17:31 5m 13s
More chores Haskell CI #50: Pull request #10 opened by sorki
December 16, 2023 17:19 5m 27s srk/chores
srk/chores
December 16, 2023 17:19 5m 27s
add cabal.project.local.ci Haskell CI #49: Commit 3488c8f pushed by sorki
December 16, 2023 17:17 5m 14s srk/chores
srk/chores
December 16, 2023 17:17 5m 14s
Fix GH Actions badge Haskell CI #48: Commit e4a337f pushed by sorki
December 16, 2023 14:49 10m 25s master
master
December 16, 2023 14:49 10m 25s
Merge pull request #9 from distrap/srk/chores Haskell CI #47: Commit 138b308 pushed by sorki
December 16, 2023 06:06 10m 0s master
master
December 16, 2023 06:06 10m 0s
Chores Haskell CI #46: Pull request #9 synchronize by sorki
December 15, 2023 17:42 10m 21s srk/chores
srk/chores
December 15, 2023 17:42 10m 21s
ivory-model-check: shave off incomplete uni patterns in tests Haskell CI #45: Commit e9c572a pushed by sorki
December 15, 2023 17:42 10m 49s srk/chores
srk/chores
December 15, 2023 17:42 10m 49s
Chores Haskell CI #44: Pull request #9 opened by sorki
December 15, 2023 17:42 10m 39s srk/chores
srk/chores
December 15, 2023 17:42 10m 39s
ivory-model-check: shave off incomplete uni patterns in tests Haskell CI #43: Commit 5011908 pushed by sorki
December 15, 2023 17:41 10m 56s srk/chores
srk/chores
December 15, 2023 17:41 10m 56s
Haskell CI Haskell CI #42: Scheduled
December 10, 2023 20:17 10m 22s master
master
December 10, 2023 20:17 10m 22s
Merge pull request #8 from distrap/srk/ci Haskell CI #41: Commit 42a8b94 pushed by sorki
November 13, 2023 06:44 10m 27s master
master
November 13, 2023 06:44 10m 27s
Update CI Haskell CI #40: Pull request #8 synchronize by sorki
November 13, 2023 06:30 10m 17s srk/ci
srk/ci
November 13, 2023 06:30 10m 17s
model-check: drop --rewrite-divk flag Haskell CI #39: Commit 8c27a55 pushed by sorki
November 13, 2023 06:30 10m 9s srk/ci
srk/ci
November 13, 2023 06:30 10m 9s
Update CI Haskell CI #38: Pull request #8 opened by sorki
November 11, 2023 17:22 10m 22s srk/ci
srk/ci
November 11, 2023 17:22 10m 22s
model-check: drop --rewrite-divk flag Haskell CI #37: Commit 43bcb2f pushed by sorki
November 11, 2023 17:16 12m 15s srk/ci
srk/ci
November 11, 2023 17:16 12m 15s
CI: cvc4 -> cvc5 Haskell CI #36: Commit 1a11156 pushed by sorki
November 11, 2023 17:09 14s srk/ci
srk/ci
November 11, 2023 17:09 14s
Update CI Haskell CI #35: Commit fc60d26 pushed by sorki
November 11, 2023 16:52 5m 39s srk/ci
srk/ci
November 11, 2023 16:52 5m 39s