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

Update dependency: deps/k_release #5693

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #5693

Triggered via pull request April 3, 2024 19:58
@rv-jenkinsrv-jenkins
synchronize #1060
_update-deps/runtimeverification/k
Status Cancelled
Total duration 15m 38s
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 44s
Profiling
Integration Tests
13m 56s
Integration Tests
K Regression Tests
13m 58s
K Regression Tests
Build Docker Image
10m 17s
Build Docker Image
Matrix: Build on Nix
Matrix: Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 2 warnings
Build Docker Image
The job running on runner github-runner-18 has exceeded the maximum execution time of 10 minutes.
Build Docker Image
The operation was canceled.
Integration Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/1060/merge' exists
Integration Tests
The operation was canceled.
K Regression Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/1060/merge' exists
K Regression 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.