Skip to content
Lint

stormpy is now also optional in the tests #520

Sign in to view logs

stormpy is now also optional in the tests

stormpy is now also optional in the tests #520

Triggered via push February 18, 2025 11:13
@PimLeerkesPimLeerkes
pushed b7e7b8c
189-make-stormpy-dependencies-optional
Status Success
Total duration 2m 30s
Artifacts –

lint.yml

on: push
pre-commit
2m 20s
pre-commit
Fit to window
Zoom out
Zoom in