Skip to content
🏷️ Changelog Label

Remove trailing whitespace in Agda code #512

Sign in to view logs

Remove trailing whitespace in Agda code

Remove trailing whitespace in Agda code #512

Triggered via pull request August 6, 2024 07:48
@kwxmkwxm
labeled #6377
kwxm/metatheory/remove-trailing-spaces
Status Success
Total duration 25s
Artifacts –

changelog-label.yml

on: pull_request
Check
17s
Check
Fit to window
Zoom out
Zoom in