Skip to content
Run C# tests

Break up the UniformCorrectness proof #111

Sign in to view logs

Break up the UniformCorrectness proof

Break up the UniformCorrectness proof #111

Triggered via pull request September 29, 2023 15:35
@jtristanjtristan
synchronize #61
fabian
Status Success
Total duration 12m 0s
Artifacts –

test_cs.yml

on: pull_request
test-cs
2m 39s
test-cs
Fit to window
Zoom out
Zoom in