Remove trailing whitespace in Agda code #6377
Merged
IOG Hydra / ci/hydra-build:x86_64-linux.required
succeeded
Aug 6, 2024 in 1s
Build succeeded
0 failed steps
Loading