ci(proofs): run Agda, Rocq and Lean lanes in the pinned Guix (WO 1.4)

0699fa6

Select commit

Loading

Failed to load commit list.

Uh oh!

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

coderabbitai

CodeRabbit

GitGuardian

GitGuardian Security Checks

SonarQubeCloud

SonarCloud Code Analysis

Push email notification on: push

Email on push

Workflow Security Linter on: push

lint-workflows

CodeQL Security Analysis on: pull_request

analyze (actions, none)

ℹ️ ADVISORY: Dogfooding Compliance Scorecard on: pull_request

Dogfooding compliance summary

Rust CI on: pull_request

Rust standalone tools and workspace gate

🟡 CHECK: Groove Protocol Compliance on: pull_request

🟡 CHECK: Groove manifest check

Estate Rules on: pull_request

estate-rules

Governance on: pull_request

Estate Governance Policy

Lock Sync Gate on: pull_request

actions.lock is in sync with the workflow YAML

Static Analysis Gate on: pull_request 2

panic-attack & pons-asinorum deep recon

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

Fork governance on: pull_request

DEED syntax

K9-DEED conformance

Fork governance verdict

Dogfood Gate on: pull_request

Validate DEED manifests

Validate K9 contracts

🔴 GATE: Empty-linter (invisible characters)

🟡 CHECK: Groove manifest check

Validate eclexiaiser manifest

Canon lockstep

RSR oracle — dogfood this repo

Publish the lane badges

ℹ️ ADVISORY: Dogfooding compliance summary (non-gating)

Code Quality on: pull_request

lint

docs

Dependabot Auto-Merge on: pull_request

automerge

SonarQube on: pull_request 1

SonarQube

🔴 GATE: Invisible Character Detection on: pull_request

🔴 GATE: Empty-linter (invisible characters)

Central Estate CI/CD Audit on: pull_request 3

Central Estate CI/CD Audit

Workflow Security Linter on: pull_request

lint-workflows

Proof Policy Gate on: pull_request 1

Agda, Rocq and Lean in the pinned Guix

Security Policy on: pull_request

check

🟡 CHECK: Eclexiaiser Manifest Validation on: pull_request

🟡 CHECK: Validate eclexiaiser manifest

Secret Scanner on: pull_request

scan / gitleaks

scan / shell-secrets

Guix Package Policy on: pull_request

check

CICD Squabbler on: pull_request

Squabble CI chains & required-context gate

OpenSSF Compliance on: pull_request

openssf-compliance

Hypatia Security Scan on: pull_request

Hypatia Neurosymbolic Analysis

Proven Tests and Benches on: pull_request

Proven 3-outcome test & bench suite

Code scanning results

CodeQL

Hypatia

ci(proofs): run Agda, Rocq and Lean lanes in the pinned Guix (WO 1.4)

Uh oh!

Select a check to view from the sidebar