CI (Coq, docker, dev)

adapt for coq/coq#17022 (#96) #453

Sign in to view logs

Summary
Jobs
- build-dev
Run details
- Usage
- Workflow file

Triggered via push April 1, 2023 16:44

JasonGross

v0.0.8

Status Failure

Total duration 1m 33s

Artifacts –

docker-coq.yml

on: push