search

emmo-repo / EMMO

Elementary Multiperspective Material Ontology (EMMO)
Other
62 stars 16 forks source link

Fixing CI scripts #129

Closed jesper-friis closed 3 years ago

jesper-friis commented 3 years ago 
Fixed update_pages and ci_emmocheck
  - added increased verbosity to generation of index.html
  - fixed false failure if github pages is up-to-date
  - added missing emmo.owl argument to emmocheck