Update book.php for proper syntax highlight#73

Open

Antoine-Zimmermann wants to merge 1 commit into

Annotations

4 errors

Please verify that the target repository exist AND that it contains the destination branch name, and is accesible by the API_TOKEN_GITHUB OR SSH_DEPLOY_KEY

(Note that if they exist USER_NAME and API_TOKEN is redacted by GitHub)

git clone --single-branch --branch main git@github.com:Knowledge-Graphs-Book/HTML-Book-staging.git /tmp/tmp.DhEibl

Could not clone the destination repository. Command:

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Update book.php for proper syntax highlight#73

Update book.php for proper syntax highlight#73
Antoine-Zimmermann wants to merge 1 commit into
mainfrom
Antoine-Zimmermann-patch-prism-bibtex

Uh oh!

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...