chore(seals): re-seal formats.t27 against master's compiler (Refs #5746)

cf00317

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Issue Gate on: pull_request_target 1

check-linked-issue

Untrusted Input Gate on: pull_request 1

untrusted-input

cli-tri on: pull_request 4

cli-tri

Spec Parse Ratchet on: pull_request 2

parse-ratchet

PR Dashboard on: pull_request 1

pr-dashboard

Documented Commands on: pull_request 2

Documented t27c subcommands exist

Orphaned modules on: pull_request 2

Every source file is reachable from its crate root

Fix Carries Source on: pull_request 1

fix-carries-source

Catalog Count Invariant (CI-01) on: pull_request 2

count-invariant

Gate Topology on: pull_request 1

gate-topology

Emit Bit-Exact Gate (CI-02) on: pull_request 3

emit-bitexact

Corpus Ratchet on: pull_request 8

Corpus ratchet (expected-failure ledger)

rings-rust on: pull_request 19

Discover ring-*-rust crates

ring-088-rust

ring-089-rust

ring-090-rust

ring-091-rust

ring-092-rust

ring-093-rust

ring-094-rust

ring-095-rust

ring-096-rust

ring-097-rust

ring-098-rust

ring-099-rust

ring-100-rust

ring-101-rust

ring-102-rust

ring-103-rust

ring-104-rust

Compile gate summary

Seal Coverage on: pull_request 3

coverage

Withdrawn Number Gate on: pull_request 2

withdrawn-live

Spec Guards on: pull_request 3

spec-guards

Verilog Widths on: pull_request 2

Verilog widths (absurd-width ledger)

Harness scratch directories on: pull_request 2

No test binary shares one scratch directory

secret-scan on: pull_request 3

scan

L1 TRACEABILITY Check on: pull_request 3

Check L1 TRACEABILITY

L1 Traceability Summary

Schema Validation on: pull_request 2

validate

Own Language on: pull_request 1

own-language

Damage Negatives on: pull_request 2

Damage negatives (false-positive fixtures)

Duplicate Body Ratchet on: pull_request 5

duplicate-bodies

Conflict Markers on: pull_request 2

Conflict markers (no unresolved merges)

PHI Loop CI on: pull_request 1

phi-loop-check

chore(seals): re-seal formats.t27 against master's compiler (Refs #5746)

Uh oh!

Select a check to view from the sidebar