Skip to content
Build and test TChecker

Improved non-determ cases #139

Sign in to view logs

Improved non-determ cases

Improved non-determ cases #139

Triggered via push August 29, 2024 09:45
@alzehaalzeha
pushed f5dac3a
master
Status Success
Total duration 8m 24s
Artifacts –

build-and-test.yml

on: push
Matrix: build-and-test-linux
Fit to window
Zoom out
Zoom in