formalism: Unify ordering of rules and definitions · hazelgrove/error-localization-agda@d4d66f9

Triggered via push July 11, 2023 07:03

mirryi

syntax-cleanup

Status Success

Total duration 2m 5s

Artifacts 1

formalism.yaml

on: push

Produced during runtime

Name	Size
formalism Expired	683 KB