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
[ style-guide ] no single-letter internal module names for export (… Ubuntu build #6058: Commit 56c0bf7 pushed by github-merge-queue Bot
45m 40s master
master
45m 40s
[ style-guide ] no single-letter internal module names for export (… Check whitespace #2995: Commit 56c0bf7 pushed by github-merge-queue Bot
11s master
master
11s
[ style-guide ] no single-letter internal module names for export (… Haskell-CI #3266: Commit 56c0bf7 pushed by github-merge-queue Bot
3m 7s master
master
3m 7s
Haskell-CI Haskell-CI #3265: Merge group checks requested
2m 59s
2m 59s
Check whitespace Check whitespace #2994: Merge group checks requested
13s
13s
Ubuntu build Ubuntu build #6057: Merge group checks requested
43m 27s
43m 27s
pages build and deployment pages-build-deployment #730: by github-pages Bot
1m 30s gh-pages
gh-pages
1m 30s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus kno… Check whitespace #2993: Commit d471229 pushed by github-merge-queue Bot
13s master
master
13s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus kno… Haskell-CI #3264: Commit d471229 pushed by github-merge-queue Bot
3m 6s master
master
3m 6s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus kno… Ubuntu build #6056: Commit d471229 pushed by github-merge-queue Bot
41m 3s master
master
41m 3s
Ubuntu build Ubuntu build #6055: Merge group checks requested
42m 37s
42m 37s
Haskell-CI Haskell-CI #3263: Merge group checks requested
3m 14s
3m 14s
Check whitespace Check whitespace #2992: Merge group checks requested
7s
7s
Adds the AVL tree's toList/Any properties Check whitespace #2991: Pull request #3060 synchronize by mikedelorimier
13s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
13s
Adds the AVL tree's toList/Any properties Haskell-CI #3262: Pull request #3060 synchronize by mikedelorimier
3m 28s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
3m 28s
Adds the AVL tree's toList/Any properties Ubuntu build #6054: Pull request #3060 synchronize by mikedelorimier
39m 52s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
39m 52s
Adds the AVL tree's toList/Any properties Ubuntu build #6053: Pull request #3060 synchronize by mikedelorimier
39m 34s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
39m 34s
Adds the AVL tree's toList/Any properties Haskell-CI #3261: Pull request #3060 synchronize by mikedelorimier
3m 8s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
3m 8s
Adds the AVL tree's toList/Any properties Check whitespace #2990: Pull request #3060 synchronize by mikedelorimier
8s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
8s
Adds the AVL tree's toList/Any properties Haskell-CI #3260: Pull request #3060 synchronize by mikedelorimier
3m 3s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
3m 3s
Adds the AVL tree's toList/Any properties Check whitespace #2989: Pull request #3060 synchronize by mikedelorimier
11s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
11s
Adds the AVL tree's toList/Any properties Ubuntu build #6052: Pull request #3060 synchronize by mikedelorimier
43m 24s mikedelorimier:avl-to-list-only
mikedelorimier:avl-to-list-only
43m 24s
Split ci-ubuntu workflow into multiple jobs and add caching Haskell-CI #3259: 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 and add caching Check whitespace #2988: Pull request #3049 synchronize by silas-hw
9s silas-hw:optimise-ci
silas-hw:optimise-ci
9s
Split ci-ubuntu workflow into multiple jobs and add caching Ubuntu build #6051: Pull request #3049 synchronize by silas-hw
11m 3s silas-hw:optimise-ci
silas-hw:optimise-ci
11m 3s