Skip to content

Actions: agda/agda-stdlib

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
1,058 workflow runs
1,058 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[ refactor ] Revise definitions, consequences, and use, of Algebra.Definitions.(Almost)*Cancellative Haskell-CI #3172: Pull request #2573 synchronize by jamesmckinna
3m 1s jamesmckinna:issue1436
jamesmckinna:issue1436
3m 1s
Added properties about DiffList in Data.DifferenceList.Properties Haskell-CI #3171: Pull request #3043 synchronize by mikedelorimier
3m 2s mikedelorimier:diff-list-rel
mikedelorimier:diff-list-rel
3m 2s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3170: Pull request #3049 synchronize by silas-hw
3m 0s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 0s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences Haskell-CI #3169: Pull request #2599 synchronize by jamesmckinna
2m 51s jamesmckinna:issue2581
jamesmckinna:issue2581
2m 51s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3168: Pull request #3049 synchronize by silas-hw
2m 50s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 50s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3167: Pull request #3049 synchronize by silas-hw
2m 52s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 52s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3166: Pull request #3049 synchronize by silas-hw
3m 11s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 11s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3165: Pull request #3049 synchronize by silas-hw
2m 50s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 50s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3164: Pull request #3049 synchronize by silas-hw
2m 49s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 49s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3163: Pull request #3049 synchronize by silas-hw
2m 58s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 58s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3162: Pull request #3049 synchronize by silas-hw
2m 56s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 56s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3161: Pull request #3049 synchronize by silas-hw
3m 39s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 39s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3160: Pull request #3049 synchronize by silas-hw
3m 6s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 6s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3159: Pull request #3049 synchronize by silas-hw
3m 27s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 27s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3158: Pull request #3049 synchronize by silas-hw
3m 0s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 0s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3157: Pull request #3049 synchronize by silas-hw
2m 57s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 57s
Added properties about DiffList in Data.DifferenceList.Properties Haskell-CI #3156: Pull request #3043 synchronize by mikedelorimier
2m 56s mikedelorimier:diff-list-rel
mikedelorimier:diff-list-rel
2m 56s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3155: Pull request #3049 synchronize by silas-hw
3m 2s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 2s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3154: Pull request #3049 synchronize by silas-hw
2m 57s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 57s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3153: Pull request #3049 synchronize by silas-hw
2m 53s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 53s
Split ci-ubuntu workflow into multiple jobs Haskell-CI #3152: Pull request #3049 opened by silas-hw
2m 57s silas-hw:optimise-ci
silas-hw:optimise-ci
2m 57s
[ new ] un-deprecate _≈?_ Haskell-CI #3151: Pull request #3048 opened by gallais
3m 1s gallais:char-eq-refactor
gallais:char-eq-refactor
3m 1s
[ refactor ] Exchange components of `Relation.Binary.Definitions._Res… Haskell-CI #3150: Commit d79b146 pushed by github-merge-queue Bot
3m 5s master
master
3m 5s
Haskell-CI Haskell-CI #3149: Merge group checks requested
2m 54s
2m 54s
Add tool to scan for references of deleted or renamed READMEs Haskell-CI #3148: Pull request #3041 synchronize by silas-hw
3m 6s silas-hw:defunct-readme
silas-hw:defunct-readme
3m 6s