Public

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

Repository Settings

TurtleTony/models

Webhooks

Webhooks allow external services to be notified when certain events happen in your repository.

Payload URL

Secret Token

Used to validate webhook payloads for security.

Event Triggers

Push

Any Git push to the repository

Pull Request

Pull request opened, closed, or synchronized

Issues

Issue opened, edited, closed, etc.

Commit Comment

Commit or diff commented on

Code Scan

Code scanning alerts