Check PR title for commit convention

feat: allow `EStateM` to be used universe-polymorphically #107

Sign in to view logs

Triggered via pull request December 1, 2023 20:56

eric-wieser

edited #3010

eric-wieser:EStateM-universes

Status Success

Total duration 12s

Artifacts –

pr-title.yml

on: pull_request