Skip to content

Actions: agda/agda

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
add CSS rule for macro names Build, Test, and Benchmark #3880: Pull request #7325 opened by ncfavier
June 18, 2024 16:04 38m 21s css-macro
css-macro
June 18, 2024 16:04 38m 21s
add CSS rule for macro names Whitespace #7560: Pull request #7325 opened by ncfavier
June 18, 2024 16:04 33s css-macro
css-macro
June 18, 2024 16:04 33s
Refactor: Informative names for the Nicifier Build (stack) #4672: Pull request #7323 opened by lawcho
June 18, 2024 14:06 19m 25s lawcho:refactor-nicifier
lawcho:refactor-nicifier
June 18, 2024 14:06 19m 25s
Refactor: Informative names for the Nicifier Haddock #4866: Pull request #7323 opened by lawcho
June 18, 2024 14:06 2m 26s lawcho:refactor-nicifier
lawcho:refactor-nicifier
June 18, 2024 14:06 2m 26s
Refactor: Informative names for the Nicifier Stack check snapshots #391: Pull request #7323 opened by lawcho
June 18, 2024 14:06 8m 43s lawcho:refactor-nicifier
lawcho:refactor-nicifier
June 18, 2024 14:06 8m 43s
Refactor: Informative names for the Nicifier Build (cabal) #5355: Pull request #7323 opened by lawcho
June 18, 2024 14:06 9m 28s lawcho:refactor-nicifier
lawcho:refactor-nicifier
June 18, 2024 14:06 9m 28s
Refactor: Informative names for the Nicifier Whitespace #7559: Pull request #7323 opened by lawcho
June 18, 2024 14:06 23s lawcho:refactor-nicifier
lawcho:refactor-nicifier
June 18, 2024 14:06 23s
Refactor: Informative names for the Nicifier Build, Test, and Benchmark #3879: Pull request #7323 opened by lawcho
June 18, 2024 14:06 38m 30s lawcho:refactor-nicifier
lawcho:refactor-nicifier
June 18, 2024 14:06 38m 30s
Refactor: Informative names for the Nicifier Install (v2-cabal) #1251: Pull request #7323 opened by lawcho
June 18, 2024 14:06 10m 14s lawcho:refactor-nicifier
lawcho:refactor-nicifier
June 18, 2024 14:06 10m 14s
Expose constructor erasure in reflection interface Whitespace #7558: Pull request #7322 synchronize by cmcmA20
June 16, 2024 23:18 21s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 23:18 21s
Expose constructor erasure in reflection interface User Manual #1867: Pull request #7322 synchronize by cmcmA20
June 16, 2024 23:18 1m 17s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 23:18 1m 17s
Expose constructor erasure in reflection interface Build, Test, and Benchmark #3878: Pull request #7322 synchronize by cmcmA20
June 16, 2024 23:18 36m 19s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 23:18 36m 19s
Expose constructor erasure in reflection interface Build (cabal) #5354: Pull request #7322 synchronize by cmcmA20
June 16, 2024 23:18 8m 20s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 23:18 8m 20s
Expose constructor erasure in reflection interface Install (v2-cabal) #1250: Pull request #7322 synchronize by cmcmA20
June 16, 2024 23:18 9m 28s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 23:18 9m 28s
Expose constructor erasure in reflection interface Haddock #4865: Pull request #7322 synchronize by cmcmA20
June 16, 2024 23:18 3m 4s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 23:18 3m 4s
Expose constructor erasure in reflection interface Install (v2-cabal) #1249: Pull request #7322 opened by cmcmA20
June 16, 2024 01:13 9m 43s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 01:13 9m 43s
Expose constructor erasure in reflection interface Build, Test, and Benchmark #3877: Pull request #7322 opened by cmcmA20
June 16, 2024 01:13 36m 39s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 01:13 36m 39s
Expose constructor erasure in reflection interface Build (cabal) #5353: Pull request #7322 opened by cmcmA20
June 16, 2024 01:13 8m 37s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 01:13 8m 37s
Expose constructor erasure in reflection interface Haddock #4864: Pull request #7322 opened by cmcmA20
June 16, 2024 01:13 2m 30s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 01:13 2m 30s
Expose constructor erasure in reflection interface User Manual #1866: Pull request #7322 opened by cmcmA20
June 16, 2024 01:13 1m 51s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 01:13 1m 51s
Expose constructor erasure in reflection interface Whitespace #7557: Pull request #7322 opened by cmcmA20
June 16, 2024 01:13 27s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 01:13 27s
Deploy Deploy #1204: completed by andreasabel
June 15, 2024 04:30 14m 44s
June 15, 2024 04:30 14m 44s
pages build and deployment pages-build-deployment #536: by github-pages bot
June 15, 2024 03:56 42s
June 15, 2024 03:56 42s
New deadcode warning CoinductiveEtaRecord instead of GenericError Clear cache of closed PR #426: Pull request #7300 closed by andreasabel
June 15, 2024 03:53 11s coinductive-eta-record-warning
coinductive-eta-record-warning
June 15, 2024 03:53 11s
New deadcode warning CoinductiveEtaRecord instead of GenericError Whitespace #7556: Commit 9f7809e pushed by andreasabel
June 15, 2024 03:53 27s master
master
June 15, 2024 03:53 27s