Skip to content

Actions: Project-Navi/fd-formalization

Actions

OpenSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
19 workflow runs
19 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
OpenSSF Scorecard OpenSSF Scorecard #19: Scheduled
45s main
main
45s
OpenSSF Scorecard OpenSSF Scorecard #18: Scheduled
34s main
main
34s
OpenSSF Scorecard OpenSSF Scorecard #17: Scheduled
43s main
main
43s
Merge pull request #14 from Project-Navi/docs/simplegraph-ball-upstre… OpenSSF Scorecard #16: Commit 36e84ac pushed by project-navi-bot
33s main
main
33s
OpenSSF Scorecard OpenSSF Scorecard #15: Scheduled
36s main
main
36s
OpenSSF Scorecard OpenSSF Scorecard #14: Scheduled
50s main
main
50s
OpenSSF Scorecard OpenSSF Scorecard #13: Scheduled
46s main
main
46s
OpenSSF Scorecard OpenSSF Scorecard #12: Scheduled
39s main
main
39s
OpenSSF Scorecard OpenSSF Scorecard #11: Scheduled
37s main
main
37s
OpenSSF Scorecard OpenSSF Scorecard #10: Scheduled
43s main
main
43s
OpenSSF Scorecard OpenSSF Scorecard #9: Scheduled
39s main
main
39s
Merge pull request #13 from Project-Navi/docs/post-proof-golf-update OpenSSF Scorecard #8: Commit fad8dfd pushed by project-navi-bot
31s main
main
31s
Merge pull request #12 from Project-Navi/refactor/aristotle-proof-golf OpenSSF Scorecard #7: Commit 3263830 pushed by project-navi-bot
38s main
main
38s
Merge pull request #11 from Project-Navi/refactor/proof-style-cleanup OpenSSF Scorecard #6: Commit 9b10710 pushed by project-navi-bot
37s main
main
37s
OpenSSF Scorecard OpenSSF Scorecard #5: Scheduled
35s main
main
35s
OpenSSF Scorecard OpenSSF Scorecard #4: Scheduled
35s main
main
35s
fix: update shared scorecard workflow ref to include id-token fix OpenSSF Scorecard #3: Commit 0daec0e pushed by Fieldnote-Echo
13m 13s main
main
13m 13s
OpenSSF Scorecard OpenSSF Scorecard #2: Manually run by Fieldnote-Echo
15m 40s main
main
15m 40s
ci: unified org settings — lean tier contract (#10) OpenSSF Scorecard #1: Commit 148d790 pushed by Fieldnote-Echo
15m 52s main
main
15m 52s