Skip to content
CI

Term ordering diagrams refactor #1552

Sign in to view logs

Term ordering diagrams refactor

Term ordering diagrams refactor #1552

Triggered via pull request January 3, 2025 16:32
@mezpuszmezpusz
synchronize #637
term-ordering-diagrams
Status Success
Total duration 15m 43s
Artifacts –

CI.yml

on: pull_request
build
15m 35s
build
Fit to window
Zoom out
Zoom in