Skip to content
Back to pull request #3010

feat: allow EStateM to be used universe-polymorphically #9465

Sign in to view logs

feat: allow EStateM to be used universe-polymorphically

feat: allow EStateM to be used universe-polymorphically #9465

Triggered via pull request September 28, 2024 13:48
@eric-wiesereric-wieser
edited #3010
eric-wieser:EStateM-universes
Status Success
Total duration 10s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
2s
check-pr-title
Fit to window
Zoom out
Zoom in