Skip to content
Lint

Run CI with stormpy #59

Sign in to view logs

Run CI with stormpy

Run CI with stormpy #59

Triggered via push July 2, 2024 15:44
@linushecklinusheck
pushed 014b708
main
Status Cancelled
Total duration 1m 3s
Artifacts –

lint.yml

on: push
pre-commit
53s
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

2 errors
pre-commit
Canceling since a higher priority waiting request for 'Lint-main' exists
pre-commit
The operation was canceled.