Skip to content
Check PR body for changelog convention

fix: validate atoms modulo leading and trailing whitespace #62

Sign in to view logs

fix: validate atoms modulo leading and trailing whitespace

fix: validate atoms modulo leading and trailing whitespace #62

Triggered via pull request November 8, 2024 12:38
@leanprover-community-botleanprover-community-bot
labeled #6012
david-christiansen:atom-validation-ws
Status Success
Total duration 16s
Billable time 1m
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
3s
check-pr-body
Fit to window
Zoom out
Zoom in