Merge branch 'master' into dependabot/cargo/anyhow-1.0.104

ae6392c

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Coq Proofs Validation on: push 4

compile-proofs

Coq kernel on: push 1

build

pack-index-consistency-gate on: push 2

pack-index-consistency

gf16-conformance on: push 2

gf16-oracle

Wasm Explorer on: push 6

build-and-test

gf-wide-conformance on: push 14

gf-wide (gf14)

gf-wide (gf48)

gf-wide (gf96)

gf-wide (gf128)

gf-wide (gf256)

gf-wide (gf512)

gf-wide (gf1024)

conformance-integrity-gate on: push 2

integrity-gate

Issue Gate on: pull_request_target 2

check-linked-issue

Documented Commands on: pull_request 2

Documented t27c subcommands exist

Own Language on: pull_request 1

own-language

Spec Parse Ratchet on: pull_request 2

parse-ratchet

PR Dashboard on: pull_request 1

pr-dashboard

Gate Topology on: pull_request 2

gate-topology

claw-t27f

claw-sarif

claw-suggest

claw-merge

claw-batch

Bootstrap Test Ratchet on: pull_request 3

test-ratchet

Orphaned modules on: pull_request 2

Every source file is reachable from its crate root

secret-scan on: pull_request 2

scan

gitleaks

cli-tri on: pull_request 3

cli-tri

Conflict Markers on: pull_request 2

Conflict markers (no unresolved merges)

Harness scratch directories on: pull_request 2

No test binary shares one scratch directory

Seal Coverage on: pull_request 2

coverage

Damage Negatives on: pull_request 2

Damage negatives (false-positive fixtures)

Verilog Widths on: pull_request 2

Verilog widths (absurd-width ledger)

L1 TRACEABILITY Check on: pull_request 2

Check L1 TRACEABILITY

L1 Traceability Summary

Corpus Ratchet on: pull_request 2

Corpus ratchet (expected-failure ledger)

PHI Loop CI on: pull_request 1

phi-loop-check

FPGA E2E Build on: pull_request 18

fpga-smoke

fpga-lint (read_verilog + hierarchy)

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

t27b native on: pull_request 6

t27b-native-linux

t27b-native-macos

t27b-native-ratchet

Untrusted Input Gate on: pull_request 1

untrusted-input

Withdrawn Number Gate on: pull_request 2

withdrawn-live

Schema Validation on: pull_request 2

validate

Fix Carries Source on: pull_request

fix-carries-source

PR budget (at most 20 open ready PRs per author; the excess waits as a draft) on: pull_request_target 3

budget

Merge branch 'master' into dependabot/cargo/anyhow-1.0.104

Uh oh!

Select a check to view from the sidebar