Skip to content
This repository has been archived by the owner on Apr 25, 2024. It is now read-only.
Run Tests

Add separate get proof steps and execute proof step phase #5732

Sign in to view logs

Add separate get proof steps and execute proof step phase

Add separate get proof steps and execute proof step phase #5732

Re-run triggered April 5, 2024 21:51
@nwatson22nwatson22
#1069
noah/proof-steps-2
Status Failure
Total duration 41m 40s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
8s
Version Bump
Code Quality Checks
57s
Code Quality Checks
Build Documentation
55s
Build Documentation
Profiling
1m 59s
Profiling
Integration Tests
40m 14s
Integration Tests
K Regression Tests
30m 16s
K Regression Tests
Build Docker Image
45s
Build Docker Image
Matrix: Build on Nix
Matrix: Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 2 warnings
K Regression Tests
The job running on runner GitHub Actions 33 has exceeded the maximum execution time of 30 minutes.
K Regression Tests
The operation was canceled.
Integration Tests
The job running on runner GitHub Actions 40 has exceeded the maximum execution time of 40 minutes.
Integration Tests
The operation was canceled.
Build on Nix (ubuntu-latest)
No push credentials found. Ignoring the 'useDaemon' option.
Build on Nix (macos-13)
No push credentials found. Ignoring the 'useDaemon' option.