Check PR title for commit convention

refactor: rewrite TerminationHint elaborators #28

Sign in to view logs

Triggered via pull request November 29, 2023 12:55

nomeata

synchronize #2958

joachim/wf-hint-elab

Status Success

Total duration 6m 42s

Artifacts –

pr-title.yml

on: pull_request