CI (Coq, docker, dev)

adapt to coq/coq#18563 #365

Sign in to view logs

Triggered via pull request January 30, 2024 20:23

synchronize #1814

andres-erbsen:more-nth_error

Status Cancelled

Total duration 1m 25s

Artifacts 3

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-docker.yml

on: pull_request

Matrix: build

Matrix: build-js-of-ocaml

Matrix: build-wasm-of-ocaml

Matrix: generated-files

Matrix: standalone-haskell

Matrix: test-standalone

Matrix: validate

publish-standalone-dry-run

deploy-js-wasm-of-ocaml

docker-check-all

Annotations

2 errors and 1 warning

docker-master

The operation was canceled.

docker-check-all

Process completed with exit code 1.

docker-master

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime

Name	Size
ExtractionHaskell-source-master Expired	5.41 KB
ExtractionJsOfOCaml-source-master Expired	459 Bytes
ExtractionOCaml-master Expired	3.55 KB