d-flex flex-column width-full">

chore: dotfiles handle Idris2 (.idr/.ipkg) + EBNF

2ebfda5

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

.github/workflows/rsr-antipattern.yml on: push 1

.github/workflows/e2e.yml on: push 1

.github/workflows/mirror.yml on: push 1

.github/workflows/boj-build.yml on: push 1

🟡 Check: OpenSSF best-practices on: pull_request 6

openssf-compliance

🔴 Gate: Security policy present on: pull_request

check

🔴 Gate: No-npm/bun policy on: pull_request

check

🟡 Check: Estate rules on: pull_request 1

estate-rules

🟡 Check: CodeQL security analysis on: pull_request

analyze (actions, none)

🔴 Gate: No-TypeScript policy on: pull_request

check

🔴 Gate: Guix-only package policy on: pull_request

check

🔴 Gate: Static analysis on: pull_request 6

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

🟡 Check: RSR self-use (dogfooding) on: pull_request 40

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

🔴 Gate: Code quality (fmt/lint/test) on: pull_request 1

lint

docs

⚙ Auto: Dependabot auto-merge on: pull_request

automerge

.github/workflows/rust-ci.yml on: pull_request 1

🔴 Gate: Trope conformance on: pull_request 1

examples-lower-to-valid-ir

🟡 Check: Governance metadata on: pull_request 5

governance / Check Workflow Staleness

governance / Validate Hypatia Baseline

🟡 Check: Hypatia baseline security scan on: pull_request 1

scan / Hypatia Neurosymbolic Analysis

.github/workflows/secret-scanner.yml on: push 1

Code scanning results

CodeQL

chore: dotfiles handle Idris2 (.idr/.ipkg) + EBNF

Uh oh!

Select a check to view from the sidebar