Skip to content
CI

Contributing: add 'Soundness issues and backporting' section #161

Sign in to view logs

Contributing: add 'Soundness issues and backporting' section

Contributing: add 'Soundness issues and backporting' section #161

Triggered via push February 15, 2026 14:26
@ojedaojeda
pushed 1e86466
main
Status Success
Total duration 8s
Artifacts –

ci.yml

on: push
ci
5s
ci
Fit to window
Zoom out
Zoom in