Skip to content
CI

Add proof type to universe identifer #1524

Sign in to view logs

Add proof type to universe identifer

Add proof type to universe identifer #1524

Triggered via pull request October 9, 2023 21:27
@ffranrffranr
synchronize #540
uni-namespace-proof-type
Status Failure
Total duration 26m 38s
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
32s
Sqlc check
RPC check
1m 58s
RPC check
go mod check
1m 2s
go mod check
test vector check
1m 1s
test vector check
Compilation check
40s
Compilation check
Docker build check
4m 10s
Docker build check
cross compilation
6m 11s
cross compilation
Lint check
2m 58s
Lint check
Format check
34s
Format check
run itests
5m 44s
run itests
run itests postgres
8m 11s
run itests postgres
Matrix: run unit tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors
run itests
Process completed with exit code 2.
run itests postgres
Process completed with exit code 2.
run unit tests (unit-race)
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
logs-itest Expired
426 KB
logs-itest-postgres Expired
436 KB