Update dependency: deps/pyk_release (#2025) #403

Sign in to view logs

Triggered via push August 20, 2023 14:41

rv-jenkins

master

Status Failure

Total duration 28m 16s

Artifacts –

master-push.yml

on: push

Matrix: Populate Nix Cache

Build Ubuntu Jammy DockerHub Image

Publish GH Pages

Annotations

1 error and 3 warnings

Build Ubuntu Jammy DockerHub Image

Process completed with exit code 1.

Populate Nix Cache (normal)

The following actions uses node12 which is deprecated and will be forced to run on node16: workflow/[email protected]. 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/[email protected]. 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/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/