Linter

Wrap the library Alt_ergo_prelude (#1223) #2759

Sign in to view logs

Triggered via push August 28, 2024 15:18

Halbaroth

next

Status Success

Total duration 3m 5s

Artifacts –

linter.yml

on: push

Matrix: Check indentation