Skip to content
Run C# tests

Break up the UniformCorrectness proof #106

Sign in to view logs

Break up the UniformCorrectness proof

Break up the UniformCorrectness proof #106

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

test_cs.yml

on: pull_request
test-cs
3m 13s
test-cs
Fit to window
Zoom out
Zoom in