Checking PR semantic

feat: Proof Cleaning #773

Sign in to view logs

Triggered via pull request October 3, 2024 12:05

opened #105

feature/proofCleaning

Status Success

Total duration 24s

Artifacts –

lint-pr.yml

on: pull_request

Validate PR title

Validate PR commits