Skip to content
Lint

Attempt to run on an image #38

Sign in to view logs

Attempt to run on an image

Attempt to run on an image #38

Triggered via pull request July 2, 2024 14:37
@linushecklinusheck
synchronize #11
10-run-pipeline-on-stormpy-docker-containers
Status Failure
Total duration 1m 38s
Artifacts –

lint.yml

on: pull_request
pre-commit
1m 27s
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 error
pre-commit
Process completed with exit code 127.