Skip to content
Check for private emails used in PRs

verify: Reject the solver options with the Lean backend #41

Sign in to view logs

verify: Reject the solver options with the Lean backend

verify: Reject the solver options with the Lean backend #41

Triggered via pull request October 20, 2026 17:43
@SwayamInSyncSwayamInSync
opened #41
fix/lean-solver-options
Status Skipped
Total duration 2s
Artifacts –

email-check.yaml

on: pull_request
validate_email
0s
validate_email
Fit to window
Zoom out
Zoom in