search

Fantom-foundation / Norma

Integration project of Carmen and Tosca
GNU Lesser General Public License v3.0
2 stars 9 forks source link

Fix CI issue when updating sonic #180

Closed rpl-ffl closed 6 months ago

wsodsong commented 7 months ago

As discussed, we will set up a self-host runner for Norma gitactions.

rpl-ffl commented 6 months ago

Closed, Replaced with https://github.com/Fantom-foundation/Norma/pull/184