Add proof type to universe identifer #1528
ffranr
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
41s
RPC check
1m 54s
go mod check
1m 5s
test vector check
1m 33s
Compilation check
48s
Docker build check
4m 26s
cross compilation
13m 34s
Lint check
3m 50s
Format check
31s
run itests
8m 19s
run itests postgres
11m 0s
Matrix: run unit tests