CI

update dqueue TLA+ after years, oops #348

Sign in to view logs

Triggered via push October 28, 2024 09:47

fhackett

main

Status Failure

Total duration 12s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

5 errors

build (11, 1.20)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/

build (16, 1.18)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/

build (11, 1.18)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/

build (16, 1.20)

The job was canceled because "_11_1_20" failed.

build (16, 1.20)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/