rake

Merge pull request #542 from metanorma/fix/toc-html-ordering #1053

Sign in to view logs

Triggered via push November 12, 2023 06:13

opoudjis

main

Status Success

Total duration 15m 38s

Artifacts –

rake.yml

on: push

rake / ... / prepare

Matrix: rake / rake

rake / tests-passed