Skip to content
Deploy

Document remaining undocumented lalrpop-util items (#996) #215

Sign in to view logs

Document remaining undocumented lalrpop-util items (#996)

Document remaining undocumented lalrpop-util items (#996) #215

Triggered via push November 25, 2024 20:28
@github-merge-queuegithub-merge-queue[bot]
pushed 35f1346
master
Status Success
Total duration 15s
Artifacts –

deploy.yml

on: push
build-and-deploy
5s
build-and-deploy
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-and-deploy
The following actions use a deprecated Node.js version and will be forced to run on node20: peaceiris/actions-mdbook@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/