CI

Merge pull request #159 from JuliaReach/lucaferranti-patch-1 #190

Sign in to view logs

Triggered via push January 12, 2024 10:47

master

Status Success

Total duration 5m 51s

Artifacts –

ci.yml

on: push

Matrix: test