Lint

Fix lint #458

Sign in to view logs

Triggered via push April 7, 2024 06:48

eggrobin

PRINCIPIA_CHECK_ILL_FORMED

Status Success

Total duration 2m 57s

Artifacts –

lint.yaml

on: push

check-remove-before-flight