Merge pull request #803 from metanorma/fix/space-in-term-lookup #999

Sign in to view logs

Triggered via push August 2, 2023 10:10

opoudjis

main

Status Success

Total duration 41m 9s

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