Skip to content
make

Merge pull request #33 from metanorma/id-refactor #75

Sign in to view logs

Merge pull request #33 from metanorma/id-refactor

Merge pull request #33 from metanorma/id-refactor #75

Triggered via push May 9, 2024 12:49
@opoudjisopoudjis
pushed 2517cdd
v1.2.0
Status Success
Total duration 4m 23s
Artifacts –

make.yml

on: push
make  /  ...  /  prepare
5s
make / prepare / prepare
Matrix: make / make
Fit to window
Zoom out
Zoom in