Skip to content
PR tests

Distinguish between integer, field element and bool. #2961

Sign in to view logs

Distinguish between integer, field element and bool.

Distinguish between integer, field element and bool. #2961

Triggered via pull request January 24, 2024 12:47
@chrisethchriseth
synchronize #910
integers
Status Failure
Total duration 12m 36s
Artifacts –

pr-tests.yml

on: pull_request
test
12m 27s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 101.