Merge pull request #850 from ucsd-progsys/fd/delete-cmpfun #308
facundominguezAnnotations
4 warnings
|
build (macos-14, fixpoint-aarch64-apple-darwin)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/cache/save@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (ubuntu-22.04, fixpoint-x86_64-linux-gnu)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/cache/save@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (windows-2025, fixpoint-x86_64-pc-windows)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/cache/save@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
publish
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, actions/download-artifact@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 | |
|---|---|---|---|
|
fixpoint-aarch64-apple-darwin
|
17.2 MB |
sha256:cbe055614824e07eeffd8755fccf99e9ab9c5489f7b16afef90c61c36435c014
|
|
|
fixpoint-x86_64-linux-gnu
|
9.21 MB |
sha256:9b88042d0226e5874540af509ebaa621d53563a5082fb35b43bc103e094e111b
|
|
|
fixpoint-x86_64-pc-windows
|
12.7 MB |
sha256:a0890da425f18d5e95ce7face19cc1e688d53f71b9dc51bf578b3a1b18f69afe
|
|