Skip to content
🏛️ PlutusTx Template

Remove trailing whitespace in Agda code #873

Sign in to view logs

Remove trailing whitespace in Agda code

Remove trailing whitespace in Agda code #873

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

plutus-tx-template.yml

on: pull_request
Build
13m 12s
Build
Fit to window
Zoom out
Zoom in