Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 11 mo ago
Took 7 min 40 sec

Build #18 (Jun 18, 2020, 11:56:14 AM)

Changes
  1. Don't use $* in recipe of makefile rule without % (details / githubweb)

Push event to branch cleanup/font-markup at 11:56:08 AM on Jun 18, 2020

Revision: 56994727521bff3e0b6808ff606ed90a483fdc47
Repository: https://github.com/modelica/ModelicaSpecification.git
  • cleanup/font-markup