Skip to content

Merge branch 'main' into feature/zk-friendly-censuses #126

Merge branch 'main' into feature/zk-friendly-censuses

Merge branch 'main' into feature/zk-friendly-censuses #126

Triggered via push August 30, 2023 13:58
Status Success
Total duration 1m 21s
Artifacts

main.yml

on: push
Matrix: test
docker-release
0s
docker-release
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 1 warning
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2