Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,350 workflow runs
3,350 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some type relations and isomorphisms Ubuntu build #3762: Pull request #2419 synchronize by jamesmckinna
September 30, 2024 17:25 35m 48s add-type-relations
add-type-relations
September 30, 2024 17:25 35m 48s
Add some type relations and isomorphisms Check whitespace #731: Pull request #2419 synchronize by jamesmckinna
September 30, 2024 17:24 13s add-type-relations
add-type-relations
September 30, 2024 17:24 13s
Add some type relations and isomorphisms Ubuntu build #3761: Pull request #2419 synchronize by jamesmckinna
September 30, 2024 17:24 36m 30s add-type-relations
add-type-relations
September 30, 2024 17:24 36m 30s
Add some type relations and isomorphisms Check whitespace #730: Pull request #2419 synchronize by jamesmckinna
September 30, 2024 17:23 16s add-type-relations
add-type-relations
September 30, 2024 17:23 16s
Add some type relations and isomorphisms Ubuntu build #3760: Pull request #2419 synchronize by jamesmckinna
September 30, 2024 17:23 37m 41s add-type-relations
add-type-relations
September 30, 2024 17:23 37m 41s
Real numbers, based on Cauchy sequences Check whitespace #729: Pull request #2487 synchronize by Taneb
September 28, 2024 15:42 18s Taneb:reals
Taneb:reals
September 28, 2024 15:42 18s
Real numbers, based on Cauchy sequences Ubuntu build #3759: Pull request #2487 synchronize by Taneb
September 28, 2024 15:42 36m 35s Taneb:reals
Taneb:reals
September 28, 2024 15:42 36m 35s
Real numbers, based on Cauchy sequences Ubuntu build #3758: Pull request #2487 synchronize by Taneb
September 28, 2024 15:31 35m 44s Taneb:reals
Taneb:reals
September 28, 2024 15:31 35m 44s
Real numbers, based on Cauchy sequences Check whitespace #728: Pull request #2487 synchronize by Taneb
September 28, 2024 15:31 13s Taneb:reals
Taneb:reals
September 28, 2024 15:31 13s
pages build and deployment pages-build-deployment #437: by github-pages bot
September 28, 2024 14:46 1m 31s
September 28, 2024 14:46 1m 31s
[DRY] refactor #2479 (#2485) Ubuntu build #3757: Commit 7e94c15 pushed by github-merge-queue bot
September 28, 2024 14:09 36m 48s master
master
September 28, 2024 14:09 36m 48s
[DRY] refactor #2479 (#2485) Check whitespace #727: Commit 7e94c15 pushed by github-merge-queue bot
September 28, 2024 14:09 13s master
master
September 28, 2024 14:09 13s
Check whitespace Check whitespace #726: Merge group checks requested
September 28, 2024 13:33 13s
September 28, 2024 13:33 13s
Ubuntu build Ubuntu build #3756: Merge group checks requested
September 28, 2024 13:33 36m 2s
September 28, 2024 13:33 36m 2s
Haskell-CI Haskell-CI #1887: Merge group checks requested
September 28, 2024 13:33 25m 5s
September 28, 2024 13:33 25m 5s
Real numbers, based on Cauchy sequences Ubuntu build #3755: Pull request #2487 synchronize by Taneb
September 28, 2024 09:27 36m 9s Taneb:reals
Taneb:reals
September 28, 2024 09:27 36m 9s
Real numbers, based on Cauchy sequences Check whitespace #725: Pull request #2487 synchronize by Taneb
September 28, 2024 09:27 13s Taneb:reals
Taneb:reals
September 28, 2024 09:27 13s
Real numbers, based on Cauchy sequences Ubuntu build #3754: Pull request #2487 synchronize by Taneb
September 28, 2024 08:50 34m 16s Taneb:reals
Taneb:reals
September 28, 2024 08:50 34m 16s
Real numbers, based on Cauchy sequences Check whitespace #724: Pull request #2487 synchronize by Taneb
September 28, 2024 08:50 13s Taneb:reals
Taneb:reals
September 28, 2024 08:50 13s
Add some type relations and isomorphisms Ubuntu build #3753: Pull request #2419 synchronize by jamesmckinna
September 28, 2024 08:29 35m 29s add-type-relations
add-type-relations
September 28, 2024 08:29 35m 29s
Add some type relations and isomorphisms Check whitespace #723: Pull request #2419 synchronize by jamesmckinna
September 28, 2024 08:29 16s add-type-relations
add-type-relations
September 28, 2024 08:29 16s
Real numbers, based on Cauchy sequences Check whitespace #722: Pull request #2487 synchronize by Taneb
September 28, 2024 08:26 13s Taneb:reals
Taneb:reals
September 28, 2024 08:26 13s
Real numbers, based on Cauchy sequences Ubuntu build #3752: Pull request #2487 synchronize by Taneb
September 28, 2024 08:26 36m 22s Taneb:reals
Taneb:reals
September 28, 2024 08:26 36m 22s
Add (Is)DecPreorder to Relation.Binary.* Check whitespace #721: Pull request #2488 synchronize by jamesmckinna
September 28, 2024 08:21 13s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
September 28, 2024 08:21 13s
Add (Is)DecPreorder to Relation.Binary.* Ubuntu build #3751: Pull request #2488 synchronize by jamesmckinna
September 28, 2024 08:21 36m 30s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
September 28, 2024 08:21 36m 30s