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

pages build and deployment pages-build-deployment #436: by github-pages bot
September 28, 2024 07:46 1m 19s
September 28, 2024 07:46 1m 19s
pages build and deployment pages-build-deployment #435: by github-pages bot
September 28, 2024 07:42 1m 17s
September 28, 2024 07:42 1m 17s
Refactor Data.List.Relation.Binary.Permutation.*, part I (#2333) Check whitespace #720: Commit 45a46f7 pushed by github-merge-queue bot
September 28, 2024 07:10 17s master
master
September 28, 2024 07:10 17s
Refactor Data.List.Relation.Binary.Permutation.*, part I (#2333) Ubuntu build #3750: Commit 45a46f7 pushed by github-merge-queue bot
September 28, 2024 07:10 35m 39s master
master
September 28, 2024 07:10 35m 39s
fixes #2466 (#2478) Check whitespace #719: Commit d13d1ef pushed by github-merge-queue bot
September 28, 2024 07:05 17s master
master
September 28, 2024 07:05 17s
fixes #2466 (#2478) Ubuntu build #3749: Commit d13d1ef pushed by github-merge-queue bot
September 28, 2024 07:05 36m 46s master
master
September 28, 2024 07:05 36m 46s
Real numbers, based on Cauchy sequences Check whitespace #718: Pull request #2487 synchronize by Taneb
September 28, 2024 07:04 11s Taneb:reals
Taneb:reals
September 28, 2024 07:04 11s
Real numbers, based on Cauchy sequences Ubuntu build #3748: Pull request #2487 synchronize by Taneb
September 28, 2024 07:04 36m 44s Taneb:reals
Taneb:reals
September 28, 2024 07:04 36m 44s
pages build and deployment pages-build-deployment #434: by github-pages bot
September 28, 2024 07:01 1m 17s
September 28, 2024 07:01 1m 17s
Real numbers, based on Cauchy sequences Ubuntu build #3747: Pull request #2487 synchronize by Taneb
September 28, 2024 06:59 36m 43s Taneb:reals
Taneb:reals
September 28, 2024 06:59 36m 43s
Real numbers, based on Cauchy sequences Check whitespace #717: Pull request #2487 synchronize by Taneb
September 28, 2024 06:59 11s Taneb:reals
Taneb:reals
September 28, 2024 06:59 11s
Add (Is)DecPreorder to Relation.Binary.* Ubuntu build #3746: Pull request #2488 synchronize by jamesmckinna
September 28, 2024 06:58 37m 7s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
September 28, 2024 06:58 37m 7s
Add (Is)DecPreorder to Relation.Binary.* Check whitespace #716: Pull request #2488 synchronize by jamesmckinna
September 28, 2024 06:58 18s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
September 28, 2024 06:58 18s
Real numbers, based on Cauchy sequences Check whitespace #715: Pull request #2487 synchronize by Taneb
September 28, 2024 06:58 12s Taneb:reals
Taneb:reals
September 28, 2024 06:58 12s
Real numbers, based on Cauchy sequences Ubuntu build #3745: Pull request #2487 synchronize by Taneb
September 28, 2024 06:58 36m 14s Taneb:reals
Taneb:reals
September 28, 2024 06:58 36m 14s
Real numbers, based on Cauchy sequences Check whitespace #714: Pull request #2487 synchronize by Taneb
September 28, 2024 06:51 12s Taneb:reals
Taneb:reals
September 28, 2024 06:51 12s
Real numbers, based on Cauchy sequences Ubuntu build #3744: Pull request #2487 synchronize by Taneb
September 28, 2024 06:51 35m 52s Taneb:reals
Taneb:reals
September 28, 2024 06:51 35m 52s
Haskell-CI Haskell-CI #1886: Merge group checks requested
September 28, 2024 06:34 3m 19s
September 28, 2024 06:34 3m 19s
Ubuntu build Ubuntu build #3743: Merge group checks requested
September 28, 2024 06:34 35m 52s
September 28, 2024 06:34 35m 52s
Check whitespace Check whitespace #713: Merge group checks requested
September 28, 2024 06:34 18s
September 28, 2024 06:34 18s
Ubuntu build Ubuntu build #3742: Merge group checks requested
September 28, 2024 06:29 35m 59s
September 28, 2024 06:29 35m 59s
Check whitespace Check whitespace #712: Merge group checks requested
September 28, 2024 06:29 14s
September 28, 2024 06:29 14s
Haskell-CI Haskell-CI #1885: Merge group checks requested
September 28, 2024 06:29 3m 21s
September 28, 2024 06:29 3m 21s
add properties/structures/bundles related to decidability (#2481) Check whitespace #711: Commit fc54cfb pushed by github-merge-queue bot
September 28, 2024 06:27 14s master
master
September 28, 2024 06:27 14s
add properties/structures/bundles related to decidability (#2481) Ubuntu build #3741: Commit fc54cfb pushed by github-merge-queue bot
September 28, 2024 06:27 34m 16s master
master
September 28, 2024 06:27 34m 16s