Fix subtle ISLE extractor issue leading to incorrect matching in `*mu… #5436
github-merge-queue[bot]publish-artifacts.yml
on: push
Publish artifacts of build
6m 27s
Deploy gh-pages artifact
16s
Annotations
2 warnings
|
Publish artifacts of build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/attest-build-provenance/predicate@36fa7d009e22618ca7cd599486979b8150596c74, actions/attest@67422f5511b7ff725f4dbd6fb9bd2cd925c65a8d, actions/configure-pages@v5, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Deploy gh-pages artifact
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/deploy-pages@v4. 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 | |
|---|---|---|---|
|
github-pages
|
62.2 MB |
sha256:7d454692e75e65e5a60dc27a03df59887640b4d4bd38b1bebda8c1ac2cce1346
|
|