Skip to content

Actions: knisht/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #2: by knisht
June 6, 2024 16:34 43s
June 6, 2024 16:34 43s
pages build and deployment pages-build-deployment #1: by knisht
March 4, 2024 19:41 1m 7s
March 4, 2024 19:41 1m 7s
Build, Test, and Benchmark Build, Test, and Benchmark #5: Manually run by knisht
February 27, 2024 13:11 37m 52s sized-inference
sized-inference
February 27, 2024 13:11 37m 52s
Build, Test, and Benchmark Build, Test, and Benchmark #4: Manually run by knisht
February 27, 2024 12:14 43m 31s sized-inference
sized-inference
February 27, 2024 12:14 43m 31s
Build, Test, and Benchmark Build, Test, and Benchmark #3: Manually run by knisht
February 27, 2024 11:07 44m 31s sized-inference
sized-inference
February 27, 2024 11:07 44m 31s
Bug in size preservation Clear cache of closed PR #2: Pull request #2 closed by knisht
February 7, 2024 11:41 13s agda:tbt
agda:tbt
February 7, 2024 11:41 13s
Bug in size preservation Whitespace #2: Pull request #2 opened by andreasabel
February 7, 2024 09:21 34s agda:tbt
agda:tbt
February 7, 2024 09:21 34s
Bug in size preservation User Manual #1: Pull request #2 opened by andreasabel
February 7, 2024 09:21 2m 41s agda:tbt
agda:tbt
February 7, 2024 09:21 2m 41s
Bug in size preservation Install (v2-cabal) #2: Pull request #2 opened by andreasabel
February 7, 2024 09:21 13m 15s agda:tbt
agda:tbt
February 7, 2024 09:21 13m 15s
Bug in size preservation Build (stack) #1: Pull request #2 opened by andreasabel
February 7, 2024 09:21 29m 36s agda:tbt
agda:tbt
February 7, 2024 09:21 29m 36s
Bug in size preservation Haddock #2: Pull request #2 opened by andreasabel
February 7, 2024 09:21 12m 7s agda:tbt
agda:tbt
February 7, 2024 09:21 12m 7s
Bug in size preservation Stack check snapshots #1: Pull request #2 opened by andreasabel
February 7, 2024 09:21 11m 1s agda:tbt
agda:tbt
February 7, 2024 09:21 11m 1s
Bug in size preservation Build, Test, and Benchmark #2: Pull request #2 opened by andreasabel
February 7, 2024 09:21 43m 12s agda:tbt
agda:tbt
February 7, 2024 09:21 43m 12s
Bug in size preservation Build (cabal) #2: Pull request #2 opened by andreasabel
February 7, 2024 09:21 18m 20s agda:tbt
agda:tbt
February 7, 2024 09:21 18m 20s
Build with GHC-9.8: no more head, tail, init, last (x-partial warning) Clear cache of closed PR #1: Pull request #1 closed by knisht
January 31, 2024 20:46 13s agda:tbt-ghc-9.8
agda:tbt-ghc-9.8
January 31, 2024 20:46 13s