Skip to content

This is 0.25.8.

This is 0.25.8. #7002

Triggered via push November 12, 2023 09:27
Status Success
Total duration 5h 56m 46s
Artifacts 4
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
deploy-nightly
The following actions uses node12 which is deprecated and will be forced to run on node16: marvinpinto/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
deploy-nightly
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-nightly
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
futhark-nightly-linux-x86_64.tar.xz Expired
6.63 MB
futhark-nightly-macos-x86_64.tar.xz Expired
9.57 MB
futhark-nightly-windows-x86_64.zip Expired
28.5 MB
prelude-docs.tar.xz Expired
16.1 KB