Skip to content

Actions: pnlph/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy Deploy #2: completed by pnlph
September 25, 2023 15:35 29m 1s
September 25, 2023 15:35 29m 1s
Bump stack CI from GHC 9.4.6 to 9.4.7 Build (stack) #21: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 34m 23s master
master
September 25, 2023 14:14 34m 23s
Bump stack CI from GHC 9.4.6 to 9.4.7 Install (v2-cabal) #2: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 22m 35s master
master
September 25, 2023 14:14 22m 35s
Bump stack CI from GHC 9.4.6 to 9.4.7 Build (cabal) #21: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 18m 39s master
master
September 25, 2023 14:14 18m 39s
Bump stack CI from GHC 9.4.6 to 9.4.7 Haddock #21: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 18m 23s master
master
September 25, 2023 14:14 18m 23s
Bump stack CI from GHC 9.4.6 to 9.4.7 Stack check snapshots #2: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 10m 47s master
master
September 25, 2023 14:14 10m 47s
Bump stack CI from GHC 9.4.6 to 9.4.7 Build, Test, and Benchmark #2: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 1h 20m 57s master
master
September 25, 2023 14:14 1h 20m 57s
Bump stack CI from GHC 9.4.6 to 9.4.7 Whitespace #88: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 35s master
master
September 25, 2023 14:14 35s
Bump stack CI from GHC 9.4.6 to 9.4.7 User Manual #69: Commit 86fce9a pushed by pnlph
September 25, 2023 14:14 12m 6s master
master
September 25, 2023 14:14 12m 6s
Deploy Deploy #1: completed by pnlph
September 16, 2023 07:22 23m 28s
September 16, 2023 07:22 23m 28s
Fix concurrency bug in test suite (#6850) Stack check snapshots #1: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 7m 27s master
master
September 16, 2023 06:22 7m 27s
Fix concurrency bug in test suite (#6850) Whitespace #87: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 25s master
master
September 16, 2023 06:22 25s
Fix concurrency bug in test suite (#6850) Haddock #20: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 17m 11s master
master
September 16, 2023 06:22 17m 11s
Fix concurrency bug in test suite (#6850) User Manual #68: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 1m 36s master
master
September 16, 2023 06:22 1m 36s
Fix concurrency bug in test suite (#6850) Install (v2-cabal) #1: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 19m 35s master
master
September 16, 2023 06:22 19m 35s
Fix concurrency bug in test suite (#6850) Build, Test, and Benchmark #1: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 59m 40s master
master
September 16, 2023 06:22 59m 40s
Fix concurrency bug in test suite (#6850) Build (stack) #20: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 23m 59s master
master
September 16, 2023 06:22 23m 59s
Fix concurrency bug in test suite (#6850) Build (cabal) #20: Commit 7a40be8 pushed by pnlph
September 16, 2023 06:22 18m 30s master
master
September 16, 2023 06:22 18m 30s