Skip to content

Actions: input-output-hk/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy Deploy #14: completed by WhatisRT
June 28, 2024 12:03 14m 33s
June 28, 2024 12:03 14m 33s
fix #7337: foreign code needs to go in post-scope state Whitespace #17: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 27s master
master
June 28, 2024 11:16 27s
fix #7337: foreign code needs to go in post-scope state User Manual #15: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 2m 58s master
master
June 28, 2024 11:16 2m 58s
fix #7337: foreign code needs to go in post-scope state Build, Test, and Benchmark #16: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 47m 11s master
master
June 28, 2024 11:16 47m 11s
fix #7337: foreign code needs to go in post-scope state Install (v2-cabal) #11: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 13m 30s master
master
June 28, 2024 11:16 13m 30s
fix #7337: foreign code needs to go in post-scope state Haddock #12: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 13m 25s master
master
June 28, 2024 11:16 13m 25s
fix #7337: foreign code needs to go in post-scope state Build (stack) #7: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 19m 49s master
master
June 28, 2024 11:16 19m 49s
fix #7337: foreign code needs to go in post-scope state Stack check snapshots #6: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 3m 37s master
master
June 28, 2024 11:16 3m 37s
fix #7337: foreign code needs to go in post-scope state Build (cabal) #12: Commit 20ad6b5 pushed by WhatisRT
June 28, 2024 11:16 12m 59s master
master
June 28, 2024 11:16 12m 59s
Deploy Deploy #13: completed by UlfNorell
April 18, 2024 07:01 15m 14s
April 18, 2024 07:01 15m 14s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) Build (stack) #6: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 15m 40s master
master
April 18, 2024 06:24 15m 40s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) Whitespace #16: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 25s master
master
April 18, 2024 06:24 25s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) Stack check snapshots #5: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 3m 42s master
master
April 18, 2024 06:24 3m 42s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) Haddock #11: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 3m 15s master
master
April 18, 2024 06:24 3m 15s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) Install (v2-cabal) #10: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 10m 4s master
master
April 18, 2024 06:24 10m 4s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) Build, Test, and Benchmark #15: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 36m 22s master
master
April 18, 2024 06:24 36m 22s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) User Manual #14: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 1m 9s master
master
April 18, 2024 06:24 1m 9s
Add INJECTIVE_FOR_INFERENCE pragma (#6640) Build (cabal) #11: Commit b982f82 pushed by UlfNorell
April 18, 2024 06:24 6m 54s master
master
April 18, 2024 06:24 6m 54s
move ConflictingPragmaOptions doc to benign warnings section User Manual #13: Commit df389b6 pushed by UlfNorell
April 17, 2024 13:55 1m 9s master
master
April 17, 2024 13:55 1m 9s
move ConflictingPragmaOptions doc to benign warnings section Whitespace #15: Commit df389b6 pushed by UlfNorell
April 17, 2024 13:55 24s master
master
April 17, 2024 13:55 24s
Deploy Deploy #12: completed by UlfNorell
April 17, 2024 12:45 17m 2s
April 17, 2024 12:45 17m 2s
changelog and user manual for --require-unique-meta-solutions User Manual #12: Commit 0f6e177 pushed by UlfNorell
April 17, 2024 12:08 3m 11s master
master
April 17, 2024 12:08 3m 11s
changelog and user manual for --require-unique-meta-solutions Build (cabal) #10: Commit 0f6e177 pushed by UlfNorell
April 17, 2024 12:08 7m 20s master
master
April 17, 2024 12:08 7m 20s
changelog and user manual for --require-unique-meta-solutions Haddock #10: Commit 0f6e177 pushed by UlfNorell
April 17, 2024 12:08 3m 20s master
master
April 17, 2024 12:08 3m 20s
changelog and user manual for --require-unique-meta-solutions Install (v2-cabal) #9: Commit 0f6e177 pushed by UlfNorell
April 17, 2024 12:08 10m 46s master
master
April 17, 2024 12:08 10m 46s