Skip to content
OSSF Scorecard analysis

Build CBMC from source and add to nix CI cache (#56) #34

Sign in to view logs

Build CBMC from source and add to nix CI cache (#56)

Build CBMC from source and add to nix CI cache (#56) #34

Triggered via push June 13, 2024 05:21
@hanno-beckerhanno-becker
pushed 0c9a51a
main
Status Success
Total duration 48s
Artifacts 1

scorecard.yaml

on: push
Scorecard analysis
39s
Scorecard analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
SARIF file Expired
17 KB