Skip to content

Actions: agda/agda

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
8,266 workflow runs
8,266 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Reflection & erasure, improving quality of life Haddock #4761: Pull request #7247 synchronize by cmcmA20
May 7, 2024 02:41 3m 32s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 02:41 3m 32s
Reflection & erasure, improving quality of life Build (cabal) #5246: Pull request #7247 synchronize by cmcmA20
May 7, 2024 02:41 9m 47s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 02:41 9m 47s
Reflection & erasure, improving quality of life User Manual #1817: Pull request #7247 synchronize by cmcmA20
May 7, 2024 02:41 1m 36s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 02:41 1m 36s
Reflection & erasure, improving quality of life Whitespace #7425: Pull request #7247 synchronize by cmcmA20
May 7, 2024 02:41 23s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 02:41 23s
Reflection & erasure, improving quality of life Build, Test, and Benchmark #3756: Pull request #7247 synchronize by cmcmA20
May 7, 2024 02:41 46m 22s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 02:41 46m 22s
Reflection & erasure, improving quality of life Install (v2-cabal) #1144: Pull request #7247 synchronize by cmcmA20
May 7, 2024 02:41 9m 38s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 02:41 9m 38s
Reflection & erasure, improving quality of life User Manual #1816: Pull request #7247 synchronize by cmcmA20
May 7, 2024 00:53 1m 6s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 00:53 1m 6s
Reflection & erasure, improving quality of life Haddock #4760: Pull request #7247 synchronize by cmcmA20
May 7, 2024 00:53 4m 20s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 00:53 4m 20s
Reflection & erasure, improving quality of life Whitespace #7424: Pull request #7247 synchronize by cmcmA20
May 7, 2024 00:53 29s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 00:53 29s
Reflection & erasure, improving quality of life Build, Test, and Benchmark #3755: Pull request #7247 synchronize by cmcmA20
May 7, 2024 00:53 44m 21s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 00:53 44m 21s
Reflection & erasure, improving quality of life Build (cabal) #5245: Pull request #7247 synchronize by cmcmA20
May 7, 2024 00:53 8m 24s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 00:53 8m 24s
Reflection & erasure, improving quality of life Install (v2-cabal) #1143: Pull request #7247 synchronize by cmcmA20
May 7, 2024 00:53 10m 9s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 7, 2024 00:53 10m 9s
Reflection & erasure, improving quality of life Haddock #4759: Pull request #7247 synchronize by cmcmA20
May 6, 2024 17:44 2m 58s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 6, 2024 17:44 2m 58s
Reflection & erasure, improving quality of life Build, Test, and Benchmark #3754: Pull request #7247 synchronize by cmcmA20
May 6, 2024 17:44 44m 42s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 6, 2024 17:44 44m 42s
Reflection & erasure, improving quality of life User Manual #1815: Pull request #7247 synchronize by cmcmA20
May 6, 2024 17:44 1m 16s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 6, 2024 17:44 1m 16s
Reflection & erasure, improving quality of life Install (v2-cabal) #1142: Pull request #7247 synchronize by cmcmA20
May 6, 2024 17:44 9m 51s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 6, 2024 17:44 9m 51s
Reflection & erasure, improving quality of life Build (cabal) #5244: Pull request #7247 synchronize by cmcmA20
May 6, 2024 17:44 8m 51s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 6, 2024 17:44 8m 51s
Reflection & erasure, improving quality of life Whitespace #7423: Pull request #7247 synchronize by cmcmA20
May 6, 2024 17:44 23s cmcmA20:reflection-and-erasure
cmcmA20:reflection-and-erasure
May 6, 2024 17:44 23s
Deploy Deploy #1169: completed by andreasabel
May 6, 2024 14:15 19m 50s
May 6, 2024 14:15 19m 50s
pages build and deployment pages-build-deployment #512: by github-pages bot
May 6, 2024 13:37 49s
May 6, 2024 13:37 49s
Follow hlint suggestion: redundant section Build (cabal) #5243: Commit 0ff0741 pushed by andreasabel
May 6, 2024 13:31 14m 42s master
master
May 6, 2024 13:31 14m 42s
Follow hlint suggestion: redundant section Haddock #4758: Commit 0ff0741 pushed by andreasabel
May 6, 2024 13:31 5m 51s master
master
May 6, 2024 13:31 5m 51s
Follow hlint suggestion: redundant section Install (v2-cabal) #1141: Commit 0ff0741 pushed by andreasabel
May 6, 2024 13:31 11m 14s master
master
May 6, 2024 13:31 11m 14s
Follow hlint suggestion: redundant section Build, Test, and Benchmark #3753: Commit 0ff0741 pushed by andreasabel
May 6, 2024 13:31 43m 52s master
master
May 6, 2024 13:31 43m 52s
Follow hlint suggestion: redundant section Whitespace #7422: Commit 0ff0741 pushed by andreasabel
May 6, 2024 13:31 27s master
master
May 6, 2024 13:31 27s