Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 ] Make Data.Irrelevant.Irrelevant a proper Monad (#2977) Ubuntu build #5669: Commit a5d4a19 pushed by github-merge-queue Bot
45m 57s master
master
45m 57s
[ refactor ] Make Data.Irrelevant.Irrelevant a proper Monad (#2977) Check whitespace #2608: Commit a5d4a19 pushed by github-merge-queue Bot
8s master
master
8s
[ 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
Check whitespace Check whitespace #2607: Merge group checks requested
21s
21s
Ubuntu build Ubuntu build #5668: Merge group checks requested
37m 48s
37m 48s
[ new ] Data.SnocList.Base (re #2684) Ubuntu build #5667: Pull request #2982 synchronize by gallais
46m 18s gallais:snoclists
gallais:snoclists
46m 18s
[ new ] Data.SnocList.Base (re #2684) Check whitespace #2606: Pull request #2982 synchronize by gallais
12s gallais:snoclists
gallais:snoclists
12s
[ new ] Data.SnocList.Base (re #2684) Haskell-CI #2884: Pull request #2982 synchronize by gallais
2m 54s gallais:snoclists
gallais:snoclists
2m 54s
pages build and deployment pages-build-deployment #684: by github-pages Bot
1m 25s gh-pages
gh-pages
1m 25s
agda-stdlib-utils: allow base-4.22 for GHC 9.14 Check whitespace #2605: Commit 0742c7d pushed by andreasabel
10s experimental
experimental
10s
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
agda-stdlib-utils: allow base-4.22 for GHC 9.14 Ubuntu build #5666: Commit 0742c7d pushed by andreasabel
40m 15s experimental
experimental
40m 15s
[ refactor ] Make Data.Irrelevant.Irrelevant a proper Monad Ubuntu build #5665: Pull request #2977 synchronize by jamesmckinna
40m 47s jamesmckinna:irrelevant-Monad
jamesmckinna:irrelevant-Monad
40m 47s
[ 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
[ refactor ] Make Data.Irrelevant.Irrelevant a proper Monad Check whitespace #2604: Pull request #2977 synchronize by jamesmckinna
12s jamesmckinna:irrelevant-Monad
jamesmckinna:irrelevant-Monad
12s
agda-stdlib-utils: allow base-4.22 for GHC 9.14 Check whitespace #2603: Pull request #2984 opened by andreasabel
9s ghc-9.14.1
ghc-9.14.1
9s
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
agda-stdlib-utils: allow base-4.22 for GHC 9.14 Ubuntu build #5664: Pull request #2984 opened by andreasabel
45m 1s ghc-9.14.1
ghc-9.14.1
45m 1s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Ubuntu build #5663: Pull request #2981 reopened by jamesmckinna
40m 28s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
40m 28s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Check whitespace #2602: Pull request #2981 reopened by jamesmckinna
11s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
11s
[ 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
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Ubuntu build #5662: Pull request #2981 reopened by jamesmckinna
48m 9s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
48m 9s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux) Check whitespace #2601: Pull request #2981 reopened by jamesmckinna
10s jamesmckinna:deprecate-Inspect+README
jamesmckinna:deprecate-Inspect+README
10s
[ refactor ] v2.4-admissible version of #2952 Ubuntu build #5661: Pull request #2980 reopened by jamesmckinna
44m 53s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
44m 53s