Skip to content

agda: Move MSFree rule up #44

agda: Move MSFree rule up

agda: Move MSFree rule up #44

Triggered via push December 28, 2023 16:16
Status Success
Total duration 1m 9s
Artifacts

agda.yaml

on: push
Check all.agda
59s
Check all.agda
Fit to window
Zoom out
Zoom in