Closed rpl-ffl closed 3 months ago
Current release testing is named A1.yml, B1.yml. This should be renamed such that human can understand the property under test.
A1.yml
B1.yml
https://github.com/Fantom-foundation/Norma/pull/216
Current release testing is named
A1.yml
,B1.yml
. This should be renamed such that human can understand the property under test.