A gently curated list of companies using verification formal methods in industry

Repository Settings

ligurio/practical-fm
Webhooks
Webhooks allow external services to be notified when certain events happen in your repository.

Used to validate webhook payloads for security.

Any Git push to the repository

Pull request opened, closed, or synchronized

Issue opened, edited, closed, etc.

Commit or diff commented on

Code scanning alerts