Skip to content
CI

Add proof type to universe identifer #1518

Sign in to view logs

Add proof type to universe identifer

Add proof type to universe identifer #1518

Triggered via pull request October 9, 2023 16:43
@ffranrffranr
synchronize #540
uni-namespace-proof-type
Status Failure
Total duration 8m 51s
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
43s
Sqlc check
RPC check
1m 44s
RPC check
go mod check
1m 12s
go mod check
test vector check
1m 11s
test vector check
Compilation check
53s
Compilation check
Docker build check
4m 19s
Docker build check
cross compilation
6m 5s
cross compilation
Lint check
4m 22s
Lint check
Format check
48s
Format check
run itests
5m 22s
run itests
run itests postgres
8m 40s
run itests postgres
Matrix: run unit tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
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
422 KB
logs-itest-postgres Expired
436 KB