Test

Merge pull request #3685 from JuliaReach/schillic/emptyset_test #221

Sign in to view logs

Triggered via push December 20, 2024 20:18

schillic

master

Status Cancelled

Total duration 8m 53s

Artifacts –

test-master.yml

on: push

Matrix: test

Annotations

1 error

Julia 1 - ubuntu-latest - x64

Canceling since a higher priority waiting request for 'Test-refs/heads/master' exists