Update coq-docker.yml #5461

Triggered via push September 19, 2024 23:56

JasonGross

JasonGross-patch-1

Status Success

Total duration 3h 31m 57s

Artifacts 1

java.yml

on: push

Produced during runtime

Name	Size
fiat-javadoc Expired	75.3 KB