Skip to content

Update workflow's actions to comply with Github upcoming deprecations#2334

Merged
b-scholz merged 5 commits intosouffle-lang:masterfrom quentin:checkoutv3Oct 23, 2022

Commits

Commits on Oct 22, 2022