Skip to content
CI

Add proof type to universe identifer #1525

Sign in to view logs

Add proof type to universe identifer

Add proof type to universe identifer #1525

Triggered via pull request October 9, 2023 21:32
@ffranrffranr
synchronize #540
uni-namespace-proof-type
Status Failure
Total duration 8m 57s
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
36s
Sqlc check
RPC check
1m 39s
RPC check
go mod check
1m 5s
go mod check
test vector check
1m 15s
test vector check
Compilation check
41s
Compilation check
Docker build check
4m 48s
Docker build check
cross compilation
6m 10s
cross compilation
Lint check
3m 37s
Lint check
Format check
36s
Format check
run itests
5m 22s
run itests
run itests postgres
8m 47s
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
421 KB
logs-itest-postgres Expired
441 KB