Drop CI testing of 8.16 · mit-plv/fiat-crypto@906291a

Triggered via pull request November 8, 2023 23:51

JasonGross

synchronize #1708

JasonGross:drop-8.16

Status Cancelled

Total duration 1m 47s

Artifacts 2

docker-coq.yml

on: pull_request

Matrix: docker-build

2 errors

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

The operation was canceled.

Produced during runtime

Name	Size
ExtractionHaskell-master Expired	4.69 KB
ExtractionOCaml-master Expired	3.12 KB