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
pages build and deployment pages-build-deployment #717: by github-pages Bot
1m 27s gh-pages
gh-pages
1m 27s
Add product-locate (#3021) Haskell-CI #3101: Commit 195329c pushed by github-merge-queue Bot
2m 56s master
master
2m 56s
Add product-locate (#3021) Check whitespace #2830: Commit 195329c pushed by github-merge-queue Bot
13s master
master
13s
Add product-locate (#3021) Ubuntu build #5893: Commit 195329c pushed by github-merge-queue Bot
38m 4s master
master
38m 4s
Haskell-CI Haskell-CI #3100: Merge group checks requested
3m 7s
3m 7s
Ubuntu build Ubuntu build #5892: Merge group checks requested
39m 41s
39m 41s
Check whitespace Check whitespace #2829: Merge group checks requested
12s
12s
Add product-locate Check whitespace #2828: Pull request #3021 synchronize by Taneb
10s locate-zero
locate-zero
10s
Add product-locate Ubuntu build #5891: Pull request #3021 synchronize by Taneb
43m 52s locate-zero
locate-zero
43m 52s
Add product-locate Haskell-CI #3099: Pull request #3021 synchronize by Taneb
3m 4s locate-zero
locate-zero
3m 4s
pages build and deployment pages-build-deployment #716: by github-pages Bot
1m 31s gh-pages
gh-pages
1m 31s
Add product-locate Check whitespace #2827: Pull request #3021 synchronize by Taneb
14s locate-zero
locate-zero
14s
Add product-locate Ubuntu build #5890: Pull request #3021 synchronize by Taneb
5m 11s locate-zero
locate-zero
5m 11s
Add product-locate Haskell-CI #3098: Pull request #3021 synchronize by Taneb
3m 0s locate-zero
locate-zero
3m 0s
[ fix ] issue #2987 : element -> constant (#3036) Check whitespace #2826: Commit ea4bfa3 pushed by github-merge-queue Bot
9s master
master
9s
[ fix ] issue #2987 : element -> constant (#3036) Haskell-CI #3097: Commit ea4bfa3 pushed by github-merge-queue Bot
2m 55s master
master
2m 55s
[ fix ] issue #2987 : element -> constant (#3036) Ubuntu build #5889: Commit ea4bfa3 pushed by github-merge-queue Bot
40m 47s master
master
40m 47s
Haskell-CI Haskell-CI #3096: Merge group checks requested
3m 0s
3m 0s
Ubuntu build Ubuntu build #5888: Merge group checks requested
43m 16s
43m 16s
Check whitespace Check whitespace #2825: Merge group checks requested
8s
8s
pages build and deployment pages-build-deployment #715: by github-pages Bot
1m 16s gh-pages
gh-pages
1m 16s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.… Haskell-CI #3095: Commit 2aa8a6c pushed by github-merge-queue Bot
3m 6s master
master
3m 6s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.… Ubuntu build #5887: Commit 2aa8a6c pushed by github-merge-queue Bot
40m 36s master
master
40m 36s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.… Check whitespace #2824: Commit 2aa8a6c pushed by github-merge-queue Bot
11s master
master
11s
Ubuntu build Ubuntu build #5886: Merge group checks requested
40m 22s
40m 22s