Test action

change boogie version #38

Sign in to view logs

Re-run triggered January 3, 2024 15:08

Krishnacore

main

Status Failure

Total duration 23s

Artifacts –

test_action.yml

on: push

Matrix: tests

Annotations

1 error and 1 warning

tests (self-hosted)

Process completed with exit code 1.

tests (self-hosted)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/