CI (Coq, docker, dev)

Update .gitignore #819

Sign in to view logs

Triggered via push March 1, 2025 00:50

JasonGross

master

Status Cancelled

Total duration 10m 28s

Artifacts –

coq-docker.yml

on: push

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

docker-master

The run was canceled by @JasonGross.

docker-check-all

Process completed with exit code 1.