Skip to content

Merge pull request #1217 from jerus-org/separate-derive #1340

Merge pull request #1217 from jerus-org/separate-derive

Merge pull request #1217 from jerus-org/separate-derive #1340

Triggered via push December 9, 2024 12:18
Status Success
Total duration 1m 5s
Artifacts 1
Scorecard analysis
55s
Scorecard analysis
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Scorecard analysis
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
SARIF file Expired
15.9 KB