Plugins

Fix proofs of soundness #7068

Sign in to view logs

Triggered via push October 29, 2025 21:12

codex/add-extraction-for-sound--operations

Status Success

Total duration 5m 54s

Artifacts –

plugins.yml

on: push

Plugin tests (Posits)