Skip to content

Remove (Has)InitialObject, (Has)TerminalObject #287

Remove (Has)InitialObject, (Has)TerminalObject

Remove (Has)InitialObject, (Has)TerminalObject #287

Triggered via pull request January 5, 2024 20:13
Status Success
Total duration 54m 33s
Artifacts 1

CI.yml

on: pull_request
Build manuals
2m 3s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
manual Expired
735 KB