Skip to content
Documentation

ci/doc: document test strategy and the Coq/Emacs release table #32

Sign in to view logs

ci/doc: document test strategy and the Coq/Emacs release table

ci/doc: document test strategy and the Coq/Emacs release table #32

Triggered via push December 19, 2023 08:28
@hendriktewshendriktews
pushed 0d2818c
master
Status Success
Total duration 1m 13s
Artifacts –

deploy-doc.yml

on: push
Matrix: deploy-doc
Fit to window
Zoom out
Zoom in