Select Git revision
aggregate.py
-
Lars Eggert authored* Fix inclusion of implementation URLs They got dropped during aggregation. Also, only include URLs for those implementations that were part of the run. * Make CI happy
Lars Eggert authored* Fix inclusion of implementation URLs They got dropped during aggregation. Also, only include URLs for those implementations that were part of the run. * Make CI happy