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
[ bug ] local module parametrisation in Data.SnocList.Base Check whitespace #2762: Pull request #3024 opened by jamesmckinna
8s jamesmckinna:fix-snoclists
jamesmckinna:fix-snoclists
8s
[ bug ] local module parametrisation in Data.SnocList.Base Ubuntu build #5825: Pull request #3024 opened by jamesmckinna
39m 29s jamesmckinna:fix-snoclists
jamesmckinna:fix-snoclists
39m 29s
[ bug ] local module parametrisation in Data.SnocList.Base Haskell-CI #3033: Pull request #3024 opened by jamesmckinna
3m 4s jamesmckinna:fix-snoclists
jamesmckinna:fix-snoclists
3m 4s
[ refactor ] Exchange components of Relation.Binary.Definitions._Respects₂_ Haskell-CI #3032: Pull request #2515 synchronize by jamesmckinna
3m 7s jamesmckinna:issue2471
jamesmckinna:issue2471
3m 7s
[ refactor ] Exchange components of Relation.Binary.Definitions._Respects₂_ Ubuntu build #5824: Pull request #2515 synchronize by jamesmckinna
40m 54s jamesmckinna:issue2471
jamesmckinna:issue2471
40m 54s
[ refactor ] Exchange components of Relation.Binary.Definitions._Respects₂_ Check whitespace #2761: Pull request #2515 synchronize by jamesmckinna
9s jamesmckinna:issue2471
jamesmckinna:issue2471
9s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences Check whitespace #2760: Pull request #2599 synchronize by jamesmckinna
9s jamesmckinna:issue2581
jamesmckinna:issue2581
9s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences Ubuntu build #5823: Pull request #2599 synchronize by jamesmckinna
40m 3s jamesmckinna:issue2581
jamesmckinna:issue2581
40m 3s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences Haskell-CI #3031: Pull request #2599 synchronize by jamesmckinna
3m 10s jamesmckinna:issue2581
jamesmckinna:issue2581
3m 10s
pages build and deployment pages-build-deployment #709: by github-pages Bot
2m 52s gh-pages
gh-pages
2m 52s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Ubuntu build #5822: Pull request #2572 synchronize by jamesmckinna
39m 41s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
39m 41s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Check whitespace #2759: Pull request #2572 synchronize by jamesmckinna
16s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
16s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Haskell-CI #3030: Pull request #2572 synchronize by jamesmckinna
3m 19s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
3m 19s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Check whitespace #2758: Pull request #2572 synchronize by jamesmckinna
10s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
10s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Haskell-CI #3029: Pull request #2572 synchronize by jamesmckinna
3m 9s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
3m 9s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Ubuntu build #5821: Pull request #2572 synchronize by jamesmckinna
2m 52s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
2m 52s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Check whitespace #2757: Pull request #2572 synchronize by jamesmckinna
12s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
12s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Haskell-CI #3028: Pull request #2572 synchronize by jamesmckinna
3m 9s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
3m 9s
[ refactor ] Add equality as a parameter to Algebra.Consequences.Base Ubuntu build #5820: Pull request #2572 synchronize by jamesmckinna
2m 47s jamesmckinna:issue2502-v2.3-equality
jamesmckinna:issue2502-v2.3-equality
2m 47s
Add properties relating Vec.lookup to head and tail (#3004) Ubuntu build #5819: Commit 47beb93 pushed by github-merge-queue Bot
41m 16s master
master
41m 16s
Add properties relating Vec.lookup to head and tail (#3004) Check whitespace #2756: Commit 47beb93 pushed by github-merge-queue Bot
13s master
master
13s
Add properties relating Vec.lookup to head and tail (#3004) Haskell-CI #3027: Commit 47beb93 pushed by github-merge-queue Bot
3m 5s master
master
3m 5s
[ add ] Natural number square root Check whitespace #2755: Pull request #3023 synchronize by jamesmckinna
10s jamesmckinna:square-root
jamesmckinna:square-root
10s
[ add ] Natural number square root Ubuntu build #5818: Pull request #3023 synchronize by jamesmckinna
47m 8s jamesmckinna:square-root
jamesmckinna:square-root
47m 8s
[ add ] Natural number square root Haskell-CI #3026: Pull request #3023 synchronize by jamesmckinna
3m 20s jamesmckinna:square-root
jamesmckinna:square-root
3m 20s