This repository has been archived by the owner on Apr 25, 2024. It is now read-only.
Add separate get proof steps and execute proof step phase #5731
nwatson22test-pr.yml
on: pull_request
Version Bump
9s
Build Documentation
0s
Profiling
0s
Integration Tests
0s
K Regression Tests
0s
Build Docker Image
0s
Matrix: Build on Nix
Matrix: Unit Tests
Annotations
1 error
|
Code Quality Checks
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/1069/merge' exists
|