Guard 3.0.15

Guard 3.0.15 is a stable release cut from 814b8b6.
1 commit • 1 contributor since Guard 3.0.14.

Documentation

• Publish canonical HOL Guard product answers (814b8b6)

Install

Install this release:

uv tool install "hol-guard[cisco]==3.0.15"

Full changelog: v3.0.14...v3.0.15

Thanks @michael Kantor!