Skip to content
Hypatia Security Scan

feat: Complete RSR-template-repo compliance with Ada/SPARK rewrite #1

Sign in to view logs

feat: Complete RSR-template-repo compliance with Ada/SPARK rewrite

feat: Complete RSR-template-repo compliance with Ada/SPARK rewrite #1

Triggered via push August 13, 2026 00:40
@hyperpolymathhyperpolymath
pushed 5c87c07
main
Status Success
Total duration 57s
Artifacts 1

hypatia-scan.yml

on: push
scan  /  Hypatia Neurosymbolic Analysis
52s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
1.44 KB
sha256:5f2da43aa00f8afbeea9b03675754a85267113169d6ee9d11eec24fbfdabb995