Skip to content
Install (v2-cabal)

Agda.cabal: bump outdated dependencies bytestring, deepseq, and text #8

Sign in to view logs

Agda.cabal: bump outdated dependencies bytestring, deepseq, and text

Agda.cabal: bump outdated dependencies bytestring, deepseq, and text #8

Triggered via push September 1, 2023 08:48
@uncle-bettyuncle-betty
pushed 4c4cb86
master
Status Success
Total duration 14m 32s
Artifacts –

cabal-install.yml

on: push
auto-cancel
3s
auto-cancel
Matrix: cabal-install
Fit to window
Zoom out
Zoom in