Skip to content

Actions: agda/agda-stdlib

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
844 workflow runs
844 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
[ new ] Fin n as a refinement (#2975) Haskell-CI #2888: Commit 51e06a7 pushed by github-merge-queue Bot
3m 6s master
master
3m 6s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete (#2… Haskell-CI #2887: Commit b52ddca pushed by github-merge-queue Bot
3m 11s master
master
3m 11s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and `RE… Haskell-CI #2886: Commit 2f84dcc pushed by JacquesCarette
3m 9s experimental
experimental
3m 9s
[ refactor ] Make Data.Irrelevant.Irrelevant a proper Monad (#2977) Haskell-CI #2885: Commit a5d4a19 pushed by github-merge-queue Bot
2m 55s master
master
2m 55s
[ new ] Data.SnocList.Base (re #2684) Haskell-CI #2884: Pull request #2982 synchronize by gallais
2m 54s gallais:snoclists
gallais:snoclists
2m 54s
agda-stdlib-utils: allow base-4.22 for GHC 9.14 Haskell-CI #2883: Commit 0742c7d pushed by andreasabel
3m 46s experimental
experimental
3m 46s
[ refactor ] Make Data.Irrelevant.Irrelevant a proper Monad Haskell-CI #2882: Pull request #2977 synchronize by jamesmckinna
2m 27s jamesmckinna:irrelevant-Monad
jamesmckinna:irrelevant-Monad
2m 27s
agda-stdlib-utils: allow base-4.22 for GHC 9.14 Haskell-CI #2881: Pull request #2984 opened by andreasabel
2m 57s ghc-9.14.1
ghc-9.14.1
2m 57s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Haskell-CI #2880: Pull request #2981 reopened by jamesmckinna
2m 46s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
2m 46s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Haskell-CI #2879: Pull request #2981 reopened by jamesmckinna
26m 26s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
26m 26s
[ refactor ] v2.4-admissible version of #2952 Haskell-CI #2878: Pull request #2980 reopened by jamesmckinna
7m 44s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
7m 44s
[ new ] Data.SnocList.Base (re #2684) Haskell-CI #2877: Pull request #2982 synchronize by gallais
26m 10s gallais:snoclists
gallais:snoclists
26m 10s
[ new ] Data.SnocList.Base (re #2684) Haskell-CI #2876: Pull request #2982 opened by gallais
27m 27s gallais:snoclists
gallais:snoclists
27m 27s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Haskell-CI #2875: Pull request #2981 reopened by jamesmckinna
52m 10s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
52m 10s
[ refactor ] v2.4-admissible version of #2952 Haskell-CI #2874: Pull request #2980 reopened by jamesmckinna
35m 3s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
35m 3s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Haskell-CI #2873: Pull request #2981 synchronize by jamesmckinna
37m 56s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
37m 56s
[ refactor ] v2.4-admissible version of #2952 Haskell-CI #2872: Pull request #2980 reopened by jamesmckinna
37m 36s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
37m 36s
[ refactor ] v2.4-admissible version of #2952 Haskell-CI #2871: Pull request #2980 synchronize by jamesmckinna
39m 22s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
39m 22s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Haskell-CI #2870: Pull request #2981 opened by jamesmckinna
25m 45s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
25m 45s
[ refactor ] v2.4-admissible version of #2952 Haskell-CI #2869: Pull request #2980 opened by jamesmckinna
29m 56s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
29m 56s
[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence Haskell-CI #2868: Pull request #2952 synchronize by jamesmckinna
2m 58s jamesmckinna:issue2845
jamesmckinna:issue2845
2m 58s
[ new ] Fin n as a refinement Haskell-CI #2867: Pull request #2975 synchronize by gallais
3m 8s gallais:nat-bounded
gallais:nat-bounded
3m 8s
[ deprecate ] README.Inspect Haskell-CI #2866: Pull request #2928 synchronize by jamesmckinna
10m 42s jamesmckinna:deprecate-README-Inspect
jamesmckinna:deprecate-README-Inspect
10m 42s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect (#1580 / #1630 / #1930 redux) Haskell-CI #2865: Pull request #2934 synchronize by jamesmckinna
13m 24s jamesmckinna:deprecate-Inspect
jamesmckinna:deprecate-Inspect
13m 24s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Haskell-CI #2864: Pull request #2922 synchronize by jamesmckinna
2m 54s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
2m 54s