Skip to content
Clear cache of closed PR

Build with GHC-9.8: no more head, tail, init, last (x-partial warning) #1

Sign in to view logs

Build with GHC-9.8: no more head, tail, init, last (x-partial warning)

Build with GHC-9.8: no more head, tail, init, last (x-partial warning) #1

Triggered via pull request January 31, 2024 20:46
@knishtknisht
closed #1
agda:tbt-ghc-9.8
Status Success
Total duration 13s
Artifacts –

delete-unused-caches.yml

on: pull_request
cleanup
5s
cleanup
Fit to window
Zoom out
Zoom in