Skip to content
OSSF Scorecard

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola… #80

Sign in to view logs

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola… #80

Triggered via push May 24, 2026 19:50
@hyperpolymathhyperpolymath
pushed 4ff2e72
main
Status Success
Total duration 30s
Artifacts –

scorecard.yml

on: push
analysis
24s
analysis
Fit to window
Zoom out
Zoom in