chore(deps): bump the rust-minor group with 2 updates #268
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # SPDX-License-Identifier: PMPL-1.0-or-later | ||
| name: Hypatia Neurosymbolic Scan | ||
| on: | ||
| push: | ||
| branches: [ main ] | ||
| pull_request: | ||
| branches: [ main ] | ||
| schedule: | ||
| - cron: '0 6 * * *' # Daily at 6am UTC | ||
| permissions: | ||
| contents: read | ||
| # security-events: read lets the built-in GITHUB_TOKEN query this | ||
| # repo\'s own Dependabot alerts via the Hypatia DependabotAlerts rule. | ||
| security-events: read | ||
| security-events: write | ||
| jobs: | ||
| hypatia: | ||
| name: Neurosymbolic Security Scan | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - name: Checkout code | ||
| uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5 | ||
| - name: Hypatia scan placeholder | ||
| run: | | ||
| echo "⚡ Hypatia neurosymbolic scan" | ||
| echo "✅ Repository structure validated" | ||
| echo "✅ RSR compliance verified" | ||
| echo "✅ Security patterns analyzed" | ||
| echo "Note: Full Hypatia integration pending hypatia v1.0 release" | ||
| - name: Verify RSR compliance | ||
| run: | | ||
| if [ ! -f "AI.a2ml" ]; then | ||
| echo "❌ Missing AI.a2ml manifest" | ||
| exit 1 | ||
| fi | ||
| if [ ! -d ".machine_readable" ]; then | ||
| echo "❌ Missing .machine_readable/ directory" | ||
| exit 1 | ||
| fi | ||
| if [ ! -f ".machine_readable/STATE.scm" ]; then | ||
| echo "❌ Missing STATE.scm" | ||
| exit 1 | ||
| fi | ||
| echo "✅ RSR compliance verified" | ||
