Skip to content

chore: last edit and typo into git1 #74

chore: last edit and typo into git1

chore: last edit and typo into git1 #74

Triggered via push October 26, 2023 19:11
Status Success
Total duration 4m 36s
Artifacts 3
Build pdfs out of tex,md and various doc files
2m 49s
Build pdfs out of tex,md and various doc files
Generate the static listing
57s
Generate the static listing
Deploy to Github Pages
17s
Deploy to Github Pages
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
Build pdfs out of tex,md and various doc files
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Generate the static listing
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Deploy to Github Pages
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Deploy to Github Pages
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Deploy to Github Pages
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Deploy to Github Pages
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Deploy to Github Pages
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size
build-result Expired
22.9 MB
github-pages Expired
11.5 MB
statik-build Expired
11.5 MB