Skip to content
Programming Cryptol PDF Update

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

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. #19

Triggered via pull request November 14, 2024 21:34
@kquickkquick
opened #1768
build_doc_merge_fail
Status Success
Total duration 47s
Artifacts –

book.yml

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