Add proof type to universe identifer #1455
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
24s
RPC check
1m 28s
go mod check
37s
test vector check
1m 20s
Compilation check
36s
Docker build check
4m 10s
cross compilation
15m 25s
Lint check
3m 43s
Format check
35s
run itests
7m 54s
run itests postgres
9m 36s
Matrix: run unit tests
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
|
425 KB |
|
logs-itest-postgres
Expired
|
433 KB |
|