rake

Merge pull request #835 from metanorma/features/letter-symbol-type #1104

Sign in to view logs

Triggered via push November 30, 2023 13:03

opoudjis

main

Status Success

Total duration 30m 52s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

rake.yml

on: push

rake / ... / prepare

Matrix: rake / rake

rake / tests-passed