Skip to content
CI

Add proof type to universe identifer #1454

Sign in to view logs

Add proof type to universe identifer

Add proof type to universe identifer #1454

Triggered via pull request October 3, 2023 17:30
@ffranrffranr
opened #540
uni-namespace-proof-type
Status Failure
Total duration 13m 19s
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
30s
Sqlc check
RPC check
1m 35s
RPC check
go mod check
45s
go mod check
test vector check
1m 31s
test vector check
Compilation check
45s
Compilation check
Docker build check
4m 17s
Docker build check
cross compilation
12m 53s
cross compilation
Lint check
2m 50s
Lint check
Format check
34s
Format check
run itests
8m 16s
run itests
run itests postgres
13m 4s
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
427 KB
logs-itest-postgres Expired
438 KB