Skip to content

minor fix on the table ordering of OrderingEquivalenceClass doc #649

minor fix on the table ordering of OrderingEquivalenceClass doc

minor fix on the table ordering of OrderingEquivalenceClass doc #649

Triggered via push January 9, 2024 20:10
Status Success
Total duration 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

dev.yml

on: push
Release Audit Tool (RAT)
8s
Release Audit Tool (RAT)
Use prettier to check formatting of documents
10s
Use prettier to check formatting of documents
Fit to window
Zoom out
Zoom in