Update dependency: deps/pyk_release (#2027) #407

Sign in to view logs

Triggered via push August 22, 2023 15:23

rv-jenkins

master

Status Failure

Total duration 22m 1s

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 (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 (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 (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/