Skip to content

Distinguish between integer, field element and bool. #2242

Distinguish between integer, field element and bool.

Distinguish between integer, field element and bool. #2242

Triggered via pull request January 24, 2024 08:33
@chrisethchriseth
synchronize #910
integers
Status Success
Total duration 38s
Artifacts

dead-links.yml

on: pull_request
markdown-link-check
28s
markdown-link-check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
markdown-link-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/