Repository navigation

Rust CI

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola… #125

Sign in to view logs

Triggered via pull request May 24, 2026 19:50

opened #40

claude/upbeat-mendel-lBO9G

Status Success

Total duration 7m 31s

Artifacts –

rust-ci.yml

on: pull_request