Merge pull request #215 from JuliaReach/schillic-patch-1 #103

Sign in to view logs

Triggered via push August 19, 2023 17:56

schillic

master

Status Success

Total duration 2m 9s

Artifacts –

ci.yml

on: push

Matrix: test