Skip to content

Merge branch 'main' into streaming-lead #856

Merge branch 'main' into streaming-lead

Merge branch 'main' into streaming-lead #856

Triggered via push September 1, 2024 20:22
Status Success
Total duration 36m 0s
Artifacts

Julia.yml

on: push
Julia Format Check
1m 14s
Julia Format Check
Matrix: main_julia
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Julia Format Check
The following actions use a deprecated Node.js version and will be forced to run on node20: julia-actions/setup-julia@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/