test(codegen): retarget the proof suite at the guarded three-symbol s…

727d4af

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GC Root Dominance on: pull_request 3

gc-root-dominance

gc-root-dominance-statepoints

llvm-inprocess on: pull_request 4

changes

native-backend

llvm-inprocess-complete

TLS Budget on: pull_request 3

self-test-checkers

tls-budget

GC Ptr<Shape> OFF-arm witness on: pull_request 2

gc-ptr-shape-off-witness

Tests on: pull_request 26

changeset-gate

lint

Clippy (product)

Clippy (host-compatible)

Warnings (product)

Warnings (host-compatible)

api-docs-drift

cargo-test

e2e-scoped

windows-build

windows-arm64-build

gc-stress

compiler-output-regression

repsel-census

native-abi-evidence-packet

conformance-smoke (1)

conformance-smoke (2)

conformance-smoke (3)

conformance-smoke (4)

conformance-smoke (5)

conformance-smoke (6)

conformance-smoke (7)

conformance-smoke (8)

parity

compile-smoke

harmonyos-smoke

drizzle-mysql-smoke

ink-link-smoke

effect-basic-smoke

doc-tests

binary-size

conformance-smoke-complete

ext-link on: pull_request 2

ext-link

GC Ratchet on: pull_request

gc-ratchet

Security Audit on: pull_request 6

security-audit

soak-gate

agent-scan

skills-scan

cargo-deny

gc-native-roots on: pull_request 8

native-roots-rs4gc (macos-14, aarch64, Mach-O)

native-roots-rs4gc (ubuntu-latest, x86-64, ELF)

native-roots-rs4gc (windows-latest, x86-64, PE)

native-roots-rs4gc (ubuntu-24.04-arm, aarch64, ELF)

gc-native-roots-complete

eh-transport on: pull_request 2

changes

eh-transport

GC Parse-Churn Layout Gate on: pull_request 3

self-test-checker

gc-parse-churn-gate

GC Moving Witnesses on: pull_request 2

gc-moving-witnesses

Auto-Optimize App Patterns on: pull_request 2

auto-opt-app-patterns

Select a check to view from the sidebar