Cleanup Makefile Agda options, cleanup old targets #4094
VojtechStep
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
51s
link-check
26s