Skip to content
CI

Use FMOV instead of INS. #1519

Sign in to view logs

Use FMOV instead of INS.

Use FMOV instead of INS. #1519

Triggered via pull request July 30, 2026 08:31
@MartinWehkingMartinWehking
reopened #445
MartinWehking:corrections
Status Success
Total duration 3m 55s
Artifacts 1

ci.yml

on: pull_request
build
3m 48s
build
build-github-pages
1m 26s
build-github-pages
markdown-link-check
1m 13s
markdown-link-check
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
markdown-link-check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.1.7. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-github-pages
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.1.7. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.1.7, actions/upload-artifact@v4.4.0. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
pdfs Expired
3.35 MB
sha256:eb98c12a8f4d36c575ff15868eb6f16c0094aa74cb77afdb97180e0f2885fd5e