Merge branch 'main' into fix/idris2-build-blockers

eae3500

Select commit

Loading

Failed to load commit list.

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

SonarQubeCloud

SonarCloud Code Analysis

GitGuardian

GitGuardian Security Checks

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

Dependabot

.github/dependabot.yml

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

Idris 2 CI on: pull_request 14

build (0.8.0)

proof-check (0.8.0)

docs

Dogfood Gate on: pull_request 15

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

Trustfile Validation on: pull_request 2

Validate Trustfile Integrity

Enforce Trustfile Policies

Architecture Enforcement on: pull_request 4

enforce-idris-only

verify-idris-build

CodeQL Security Analysis on: pull_request 6

analyze (javascript-typescript, none)

analyze (cpp, none)

analyze (actions, none)

SPARK Theatre Gate on: pull_request

spark-theatre-gate / SPARK Theatre Gate

Hypatia Security Scan on: pull_request 2

scan / Hypatia Neurosymbolic Analysis

Secret Scanner on: pull_request 1

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

FFI Full Integration on: pull_request 1

Governance on: pull_request 1

Code scanning results

CodeQL