CI-Tests

Merge pull request #123 from nevillegrech/unsoundness_global_experiment #152

Sign in to view logs

Triggered via push January 23, 2024 10:47

sifislag

master

Status Success

Total duration 26m 57s

Artifacts –

run-tests.yml

on: push

Annotations

2 notices

46 tests found

There are 46 tests, see "Raw output" for the full list of tests.

46 tests found

There are 46 tests, see "Raw output" for the full list of tests.