Skip to content
Lint

Attempt to run on an image #40

Sign in to view logs

Attempt to run on an image

Attempt to run on an image #40

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

lint.yml

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

Annotations

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