formalism: Replace \judgment with \inferrule · hazelgrove/error-localization-agda@d62ab7b

Triggered via push May 31, 2023 21:24

mirryi

master

Status Success

Total duration 1m 54s

Artifacts 1

formalism.yaml

on: push

Produced during runtime

Name	Size
formalism Expired	644 KB