ad-hoc Coq-Docker-Action config for 8.18 #133

Sign in to view logs

Triggered via push August 3, 2023 22:03

palmskog

v8.18

Status Success

Total duration 29m 44s

Artifacts –

docker-action.yml

on: push

Matrix: build