OSSF Scorecard analysis

Workflow runs for OSSF Scorecard analysis

• HOL-Light: Drop unused context during integer closure

  completed successfully:
  OSSF Scorecard analysis#638:Commit33031eepushedbygithub-merge-queue[bot]Bot
  main

  Oct 26, 202652s
  More actions for workflow run 638

• CBMC: Add a second solver for 8 more proofs

  completed successfully:
  OSSF Scorecard analysis#637:Commitee777ecpushedbygithub-merge-queue[bot]Bot
  main

  Oct 26, 202644s
  More actions for workflow run 637

• CBMC: Add CaDiCaL SAT profile

  completed successfully:
  OSSF Scorecard analysis#636:Commit9248a1fpushedbygithub-merge-queue[bot]Bot
  main

  Oct 26, 202653s
  More actions for workflow run 636

• CI: Publish CBMC baselines from merge queue runs

  completed successfully:
  OSSF Scorecard analysis#635:Commita754991pushedbygithub-merge-queue[bot]Bot
  main

  Oct 25, 202656s
  More actions for workflow run 635

• CBMC: Add cvc5 profiles with quantifier instantiation

  completed successfully:
  OSSF Scorecard analysis#634:Commit4ec47cepushedbygithub-merge-queue[bot]Bot
  main

  Oct 25, 202645s
  More actions for workflow run 634

• CBMC: Use a second solver for 149/215 proofs

  completed successfully:
  OSSF Scorecard analysis#633:Commit8bd08a0pushedbygithub-merge-queue[bot]Bot
  main

  Oct 25, 202658s
  More actions for workflow run 633

• README: List PyCryptodome and TF-PSA-Crypto as consumers

  completed successfully:
  OSSF Scorecard analysis#632:Commitac20756pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 202653s
  More actions for workflow run 632

• format: Pass file names to sh -c as arguments

  completed successfully:
  OSSF Scorecard analysis#631:Commita7c2e87pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 202653s
  More actions for workflow run 631

• tests: Reject platform Makefiles for examples

  completed successfully:
  OSSF Scorecard analysis#630:Commita12d5b9pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 202655s
  More actions for workflow run 630

• OSSF Scorecard analysis

  completed successfully:
  OSSF Scorecard analysis#629:Scheduled
  main

  Oct 24, 202651s
  More actions for workflow run 629

• Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_unif…

  completed successfully:
  OSSF Scorecard analysis#628:Commitd7b1b6dpushedbygithub-merge-queue[bot]Bot
  main

  Oct 21, 20261m 4s
  More actions for workflow run 628

• lint: Check that every config variation runs in CI

  completed successfully:
  OSSF Scorecard analysis#627:Commita1a1aacpushedbygithub-merge-queue[bot]Bot
  main

  Oct 21, 202650s
  More actions for workflow run 627

• CBMC: Cover the PCT breakage test in check_pct

  completed successfully:
  OSSF Scorecard analysis#626:Commitb047dadpushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 20261m 8s
  More actions for workflow run 626

• reduce.h: Remove unused MLD_MONT

  completed successfully:
  OSSF Scorecard analysis#625:Commitfb9a310pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 202656s
  More actions for workflow run 625

• ACVP: Fail if supported modes cannot be detected

  completed successfully:
  OSSF Scorecard analysis#624:Commitc6ff582pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 20261m 9s
  More actions for workflow run 624

• Config: Promote MLD_CONFIG_CUSTOM_ALLOC_FREE to stable

  completed successfully:
  OSSF Scorecard analysis#623:Commite170ef8pushedbygithub-merge-queue[bot]Bot
  main

  Oct 19, 20261m 4s
  More actions for workflow run 623

• OSSF Scorecard analysis

  completed successfully:
  OSSF Scorecard analysis#622:Scheduled
  main

  Oct 17, 202657s
  More actions for workflow run 622

• Add issue templates

  completed successfully:
  OSSF Scorecard analysis#621:Commit6daba60pushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 20261m 8s
  More actions for workflow run 621

• Doc improvements

  completed successfully:
  OSSF Scorecard analysis#620:Commit1f8ff64pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 202647s
  More actions for workflow run 620

• Wycheproof: Bump pinned test vectors to latest main

  completed successfully:
  OSSF Scorecard analysis#619:Commit3031137pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 202659s
  More actions for workflow run 619

• CI: Add zig 0.17 compiler tests

  completed successfully:
  OSSF Scorecard analysis#618:Commita14b01apushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202657s
  More actions for workflow run 618

• OSSF Scorecard analysis

  completed successfully:
  OSSF Scorecard analysis#617:Scheduled
  main

  Oct 10, 202648s
  More actions for workflow run 617

• keygen: Stream s2 to reduce memory footprint

  completed successfully:
  OSSF Scorecard analysis#616:Commit7625016pushedbygithub-merge-queue[bot]Bot
  main

  Oct 8, 202657s
  More actions for workflow run 616

• HOL-Light: Take chknorm bound as int64 in specs

  completed successfully:
  OSSF Scorecard analysis#615:Commit48c075apushedbygithub-merge-queue[bot]Bot
  main

  Oct 6, 202658s
  More actions for workflow run 615

• nix: Take HOL Light from nixpkgs-unstable instead of pinning it

  completed successfully:
  OSSF Scorecard analysis#614:Commitd086e67pushedbygithub-merge-queue[bot]Bot
  main

  Oct 6, 20261m 1s
  More actions for workflow run 614