Checking PR semantic

feat: Proof Cleaning #796

Sign in to view logs

Triggered via pull request October 4, 2024 09:52

synchronize #105

feature/proofCleaning

Status Success

Total duration 23s

Artifacts –

lint-pr.yml

on: pull_request

Validate PR title

Validate PR commits