Skip to content
Linting

Go back to using apt for libflint in rtd #77

Sign in to view logs

Go back to using apt for libflint in rtd

Go back to using apt for libflint in rtd #77

Triggered via push September 9, 2024 13:42
@oscarbenjaminoscarbenjamin
pushed 3d0eb95
main
Status Success
Total duration 5m 30s
Artifacts –

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in