Skip to content
Programming Cryptol PDF Update

Fix doc-gen CI to not fail on the existsence of a non-mergeable PR. #21

Sign in to view logs

Fix doc-gen CI to not fail on the existsence of a non-mergeable PR.

Fix doc-gen CI to not fail on the existsence of a non-mergeable PR. #21

Triggered via pull request November 14, 2024 21:41
@kquickkquick
synchronize #1768
build_doc_merge_fail
Status Success
Total duration 18s
Artifacts –

book.yml

on: pull_request
update_needed
8s
update_needed
Fit to window
Zoom out
Zoom in