Skip to content

Remove astas prefix from OSI

Xiao Pan requested to merge remove_astas_prefix_from_osi into main

By removing astas prefix from the osi, the gt-gen-core uses the "official" osi releases.

Merge request reports