GitHub Actions Security Analysis with zizmor 🌈

Update Why3 proofs #144

Sign in to view logs

Workflow file for this run

.github/workflows/zizmor.yml at 42f6644

File not found

The workflow file could not be found.