repr
Public

The 'regular expresions as linear logic' interpretation and its implementation

Repository Settings

rinarakaki/repr
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