Skip to content
CI

Merge pull request #160 from JuliaReach/schillic/using #191

Sign in to view logs

Merge pull request #160 from JuliaReach/schillic/using

Merge pull request #160 from JuliaReach/schillic/using #191

Triggered via push January 19, 2024 15:08
@schillicschillic
pushed 614c513
master
Status Success
Total duration 6m 11s
Artifacts –

ci.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in