Skip to content
Test

removed save_and_embed #525

Sign in to view logs

removed save_and_embed

removed save_and_embed #525

Triggered via push February 18, 2025 12:17
@PimLeerkesPimLeerkes
pushed 983cc8a
189-make-stormpy-dependencies-optional
Status Success
Total duration 2m 17s
Artifacts –

test.yml

on: push
test
2m 6s
test
Fit to window
Zoom out
Zoom in