Skip to content
CI

Add proof type to universe identifer #1490

Sign in to view logs

Add proof type to universe identifer

Add proof type to universe identifer #1490

Triggered via pull request October 5, 2023 15:52
@ffranrffranr
synchronize #540
uni-namespace-proof-type
Status Failure
Total duration 6m 31s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yaml

on: pull_request
Sqlc check
25s
Sqlc check
RPC check
2m 1s
RPC check
go mod check
1m 22s
go mod check
test vector check
1m 27s
test vector check
Compilation check
39s
Compilation check
Docker build check
5m 10s
Docker build check
cross compilation
4m 51s
cross compilation
Lint check
3m 1s
Lint check
Format check
33s
Format check
run itests
2m 18s
run itests
run itests postgres
2m 25s
run itests postgres
Matrix: run unit tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors
test vector check
Process completed with exit code 2.
run itests
Process completed with exit code 2.
run itests postgres
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
logs-itest Expired
210 KB
logs-itest-postgres Expired
206 KB