Add proof type to universe identifer #1457
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 21s
go mod check
27s
test vector check
1m 14s
Compilation check
46s
Docker build check
4m 14s
cross compilation
15m 0s
Lint check
3m 48s
Format check
37s
run itests
3m 46s
run itests postgres
4m 26s
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
|
204 KB |
|
logs-itest-postgres
Expired
|
206 KB |
|