Closed bbyalcinkaya closed 3 months ago
I merged runtimeverification/mx-backend#140 before it was ready :man_facepalming: This PR reverts it.
@bbyalcinkaya We can revert the whole thing but I'd suggest keeping the cache action changes and just revert the pin for a specific runner.
@F-WRunTime that sounds better. Closing for #146
I merged runtimeverification/mx-backend#140 before it was ready :man_facepalming: This PR reverts it.