fix(ci): the invisible-character gate never matched anything

b4ec164

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Gitar Bot

Gitar

Codacy Production

Codacy Static Code Analysis

codefactor.io

CodeFactor

.github/workflows/cargo-audit.yml on: push 1

REUSE compliance on: push 1

reuse-lint

Dependabot Auto-Merge on: pull_request

automerge

Dogfood Gate on: pull_request 16

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

OpenSSF Compliance on: pull_request

openssf-compliance

CodeQL Security Analysis on: pull_request

analyze (actions, none)

Parse Gate on: pull_request

vcltotal-parse — panic-free / clippy / tests

Satellite Crates Gate on: pull_request

attest — clippy / tests

recompute-wasm — clippy / tests

REUSE compliance on: pull_request 1

reuse-lint

E2E, Property and Aspect Tests on: pull_request 1

E2E structural validation

Root workspace tests

Aspect tests

Backend Matrix on: pull_request

Derive matrix from echidna provers.a2ml

Smoke (abc)

Smoke (abella)

Smoke (acl2)

Smoke (acl2s)

Smoke (affine_type_checker)

Smoke (agda)

Smoke (alloy)

Smoke (alt_ergo)

Smoke (arend)

Smoke (athena)

Smoke (boogie)

Smoke (bunched_type_checker)

Smoke (ca_di_ca_l)

Smoke (cameleer)

Smoke (capability_type_checker)

Smoke (cbmc)

Smoke (choreographic_type_checker)

Smoke (chuffed)

Smoke (coeffect_type_checker)

Smoke (coq)

Smoke (cubical_agda)

Smoke (cubical_type_checker)

Smoke (cvc5)

Smoke (dafny)

Smoke (dedukti)

Smoke (dependent_type_checker)

Smoke (d_real)

Smoke (dyadic_type_checker)

Smoke (echo_type_checker)

Smoke (effect_row_type_checker)

Smoke (epistemic_type_checker)

Smoke (e_prover)

Smoke (existential_type_checker)

Smoke (frama_c)

Smoke (f_star)

Smoke (glpk)

Smoke (gradual_type_checker)

Smoke (higher_kinded_type_checker)

Smoke (hoare_type_checker)

Smoke (hol4)

Smoke (hol_light)

Smoke (homotopy_type_checker)

Smoke (idris2)

Smoke (imandra)

Smoke (immutable_type_checker)

Smoke (impure_type_checker)

Smoke (indexed_type_checker)

Smoke (intersection_type_checker)

Smoke (isabelle)

Smoke (isabelle_zf)

Smoke (katagoria_verifier)

Smoke (ke_y)

Smoke (kissat)

Smoke (lambda_prolog)

Smoke (lean)

Smoke (lean3)

Smoke (linear_type_checker)

Smoke (matita)

Smoke (mercury)

Smoke (metamath)

Smoke (mini_sat)

Smoke (mini_zinc)

Smoke (minlog)

Smoke (mizar)

Smoke (miz_ar)

Smoke (modal_type_checker)

Smoke (naproche)

Smoke (nitpick)

Smoke (nominal_type_checker)

Smoke (nunchaku)

Smoke (nuprl)

Smoke (nu_smv)

Smoke (open_smt)

Smoke (ordered_type_checker)

Smoke (ordinary_type_checker)

Smoke (or_tools)

Smoke (phantom_type_checker)

Smoke (polymorphic_type_checker)

Smoke (prism)

Smoke (probabilistic_type_checker)

Smoke (provability_type_checker)

Smoke (prover9)

Smoke (pro_verif)

Smoke (pvs)

Smoke (qtt_type_checker)

Smoke (refinement_type_checker)

Smoke (relevant_type_checker)

Smoke (rocq)

Smoke (row_type_checker)

Smoke (scip)

Smoke (sea_horn)

Smoke (session_type_checker)

Smoke (smt_rat)

Smoke (spass)

Smoke (spin)

Smoke (subtyping_type_checker)

Smoke (tamarin)

Smoke (temporal_type_checker)

Smoke (tlaps)

Smoke (tlc)

Smoke (tropical_type_checker)

Smoke (twelf)

Smoke (typed_wasm)

Smoke (type_ll)

Smoke (union_type_checker)

Smoke (uniqueness_type_checker)

Smoke (uppaal)

Smoke (uppaal_stratego)

Smoke (vampire)

Smoke (viper)

Smoke (why3)

Smoke (z3)

Smoke (zipperposition)

Proof Corpus on: pull_request

idris2 0.8.0 --build vclut-core

Static Analysis Gate on: pull_request 1

panic-attack assail

Hypatia neurosymbolic scan

Deposit findings for gitbot-fleet

Governance on: pull_request 4

governance / Check Workflow Staleness

governance / Language / package anti-pattern policy

governance / Guix primary / Nix fallback policy

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

governance / Trusted-base reduction policy

governance / Licence consistency

governance / Validate Hypatia Baseline

Rust CI on: pull_request 1

rust-ci / Detect Cargo.toml

rust-ci / Cargo check + clippy + fmt

rust-ci / Cargo audit (security)

rust-ci / Coverage (tarpaulin + codecov)

rust-ci / Cargo test

Hypatia Security Scan on: pull_request 1

hypatia / Hypatia Neurosymbolic Analysis

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

Hypatia

fix(ci): the invisible-character gate never matched anything

Uh oh!

Select a check to view from the sidebar