Add proof type to universe identifer #1517
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
31s
RPC check
1m 41s
go mod check
1m 15s
test vector check
2m 34s
Compilation check
52s
Docker build check
4m 43s
cross compilation
5m 14s
Lint check
5m 17s
Format check
36s
run itests
5m 31s
run itests postgres
7m 41s
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
|
424 KB |
|
logs-itest-postgres
Expired
|
431 KB |
|