Skip to content

Dune/Opam: update z3 version #26

Dune/Opam: update z3 version

Dune/Opam: update z3 version #26

Triggered via push February 13, 2025 10:46
Status Failure
Total duration 2m 51s
Artifacts

scorecard.yml

on: push
Scorecard analysis
2m 42s
Scorecard analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error
Scorecard analysis
Create Artifact Container failed: The artifact name SARIF file is not valid. Request URL https://pipelinesghubeus9.actions.githubusercontent.com/0SMNbtQX8CNXDFhOagnneOtkK6xohzxbAjPRe6pUxXbTFmBXkG/_apis/pipelines/workflows/13305943320/artifacts?api-version=6.0-preview