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
Fixes for agda/agda#8533: eta equality is no longer inferred Check whitespace #2616: Pull request #2986 synchronize by andreasabel
9s unguarded-eta-record
unguarded-eta-record
9s
Fixes for agda/agda#8533: eta equality is no longer inferred Ubuntu build #5677: Pull request #2986 synchronize by andreasabel
7m 38s unguarded-eta-record
unguarded-eta-record
7m 38s
Fixes for agda/agda#8533: eta equality is no longer inferred Haskell-CI #2890: Pull request #2986 synchronize by andreasabel
3m 8s unguarded-eta-record
unguarded-eta-record
3m 8s
Fixes for agda/agda#8533: eta equality is no longer inferred Ubuntu build #5676: Pull request #2986 opened by andreasabel
7m 21s unguarded-eta-record
unguarded-eta-record
7m 21s
Fixes for agda/agda#8533: eta equality is no longer inferred Check whitespace #2615: Pull request #2986 opened by andreasabel
14s unguarded-eta-record
unguarded-eta-record
14s
Fixes for agda/agda#8533: eta equality is no longer inferred Haskell-CI #2889: Pull request #2986 opened by andreasabel
3m 44s unguarded-eta-record
unguarded-eta-record
3m 44s
pages build and deployment pages-build-deployment #688: by github-pages Bot
1m 37s gh-pages
gh-pages
1m 37s
pages build and deployment pages-build-deployment #687: by github-pages Bot
1m 38s gh-pages
gh-pages
1m 38s
pages build and deployment pages-build-deployment #686: by github-pages Bot
1m 41s gh-pages
gh-pages
1m 41s
[ new ] Fin n as a refinement (#2975) Check whitespace #2614: Commit 51e06a7 pushed by github-merge-queue Bot
23s master
master
23s
[ new ] Fin n as a refinement (#2975) Ubuntu build #5675: Commit 51e06a7 pushed by github-merge-queue Bot
44m 43s master
master
44m 43s
[ 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… Ubuntu build #5674: Commit b52ddca pushed by github-merge-queue Bot
44m 2s master
master
44m 2s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete (#2… Check whitespace #2613: Commit b52ddca pushed by github-merge-queue Bot
12s master
master
12s
[ 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… Check whitespace #2612: Commit 2f84dcc pushed by JacquesCarette
11s experimental
experimental
11s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and `RE… Ubuntu build #5673: Commit 2f84dcc pushed by JacquesCarette
49m 4s experimental
experimental
49m 4s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and `RE… Haskell-CI #2886: Commit 2f84dcc pushed by JacquesCarette
3m 9s experimental
experimental
3m 9s
Check whitespace Check whitespace #2611: Merge group checks requested
14s
14s
Ubuntu build Ubuntu build #5672: Merge group checks requested
39m 24s
39m 24s
Check whitespace Check whitespace #2610: Merge group checks requested
11s
11s
Ubuntu build Ubuntu build #5671: Merge group checks requested
43m 32s
43m 32s
Check whitespace Check whitespace #2609: Merge group checks requested
11s
11s
Ubuntu build Ubuntu build #5670: Merge group checks requested
45m 22s
45m 22s
pages build and deployment pages-build-deployment #685: by github-pages Bot
1m 37s gh-pages
gh-pages
1m 37s