Add proof type to universe identifer #1507
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
28s
RPC check
1m 49s
go mod check
1m 19s
test vector check
1m 12s
Compilation check
1m 4s
Docker build check
5m 3s
cross compilation
5m 14s
Lint check
3m 0s
Format check
41s
run itests
5m 26s
run itests postgres
7m 53s
Matrix: run unit tests
Annotations
3 errors
Lint check
Process completed with exit code 2.
|
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
|
421 KB |
|
logs-itest-postgres
Expired
|
431 KB |
|