CI (Coq, docker, dev)

Drop CI testing of 8.16 #811

Sign in to view logs

Triggered via pull request November 8, 2023 23:50

JasonGross

opened #1708

JasonGross:drop-8.16

Status Cancelled

Total duration 42s

Artifacts –

docker-coq.yml

on: pull_request

Matrix: docker-build

Annotations

1 error

Canceling since a higher priority waiting request for 'CI (Coq, docker, dev)-master-drop-8.16' exists