formal verification

Update SECURITY.md and remove support for 2.x version #2780

Sign in to view logs

Triggered via pull request November 6, 2023 23:30

ernestognw

synchronize #4683

ernestognw:security-md

Status Success

Total duration 16s

Artifacts –

formal-verification.yml

on: pull_request