Skip to content

Map with new equalities #2502

Map with new equalities

Map with new equalities #2502

Triggered via pull request July 12, 2024 10:09
Status Success
Total duration 1h 6m 31s
Artifacts 5

tests.yml

on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
test-results-testProveRules Expired
50.2 KB
test-results-testRunAllFunProofs Expired
383 KB
test-results-testRunAllInfProofs Expired
197 KB
test-results-ubuntu-latest Expired
697 KB
test-results-windows-latest Expired
695 KB