Ubuntu

Add Tactician to the platform #1842

Sign in to view logs

Triggered via pull request July 25, 2024 21:06

LasseBlaauwbroek

synchronize #423

coq-tactician:tactician

Status Failure

Total duration 3h 4m 51s

Artifacts –

ubuntu.yml

on: pull_request

Matrix: Ubuntu

Snap package smoke test

Annotations

3 errors and 1 warning

Snap package

The process '/snap/bin/snapcraft' failed with exit code 2

Ubuntu (8.18~2023.11)

Process completed with exit code 1.

Snap package smoke test

Unable to download artifact(s): Artifact not found for name: Snap package Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact. For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md

Snap package

The following actions uses Node.js version which is deprecated and will be forced to run on node20: MSoegtropIMC/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/