Switch to PrecompileTools.jl
#357
Triggered via pull request
April 24, 2023 13:42
rikhuijzer
opened
#2534
Status
Success
Total duration
16s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 warning
write-comment
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/github-script@v5. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|