Master Push

Simplify returning of proof results (#114) #77

Sign in to view logs

Triggered via push October 25, 2023 18:02

rv-jenkins

master

Status Failure

Total duration 12m 41s

Artifacts –

master-push.yml

on: push

Build and Publish Docker Image

Matrix: Populate Nix Cache

Annotations

1 error and 3 warnings

Populate Nix Cache (macos-13)

Command failed: bash -c /Users/runner/work/_actions/workflow/nix-shell-action/v3.0.3/dist/wrapper.sh

Populate Nix Cache (normal)

The following actions uses node12 which is deprecated and will be forced to run on node16: workflow/nix-shell-action@v3.0.3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Populate Nix Cache (ARM64)

The following actions uses node12 which is deprecated and will be forced to run on node16: workflow/nix-shell-action@v3.0.3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Populate Nix Cache (macos-13)

The following actions uses node12 which is deprecated and will be forced to run on node16: workflow/nix-shell-action@v3.0.3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/