Whitespace

Readthedocs: add requirements.txt #15

Sign in to view logs

Triggered via push October 22, 2023 17:03

andreasabel

ghc-9.8

Status Success

Total duration 13s

Artifacts –

fix-whitespace.yml

on: push

check-whitespace