[ lec 13 ] Agda live finish #35

Sign in to view logs

Triggered via push December 14, 2023 08:58

andreasabel

master

Status Success

Total duration 2m 55s

Artifacts –

haskell-ci.yml

on: push

Matrix: linux