Cabal: bump agda2hs-mode to Agda-2.6.4 as well #58

Sign in to view logs

Triggered via push October 6, 2023 17:25

omelkonian

master

Status Success

Total duration 54s

Artifacts –

docs.yml

on: push

Matrix: deploy