CI (Coq, docker, dev)

compatibility with coq/coq#19310 (#1929) #917

Sign in to view logs

Summary
Jobs
- master
Run details
- Usage
- Workflow file

Triggered via push July 13, 2024 18:32

JasonGross

sp2019latest

Status Success

Total duration 34m 57s

Artifacts –

docker-coq.yml

on: push

Matrix: docker-build