Skip to content

Correcting the sum-to-n-foundry-spec.k circularity test #10425

Correcting the sum-to-n-foundry-spec.k circularity test

Correcting the sum-to-n-foundry-spec.k circularity test #10425

Triggered via pull request September 11, 2024 13:28
Status Success
Total duration 1h 1m 51s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
35s
Code Quality Checks
Matrix: Nix
Matrix: test-prove
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Nix (macos-13)
No push credentials found. Ignoring the 'useDaemon' option.