Check PR title for commit convention

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

Sign in to view logs

Triggered via pull request December 1, 2023 21:13

eric-wieser

synchronize #3010

eric-wieser:EStateM-universes

Status Success

Total duration 10s

Artifacts –

pr-title.yml

on: pull_request