IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger
Apache License 2.0
38 stars 13 forks source link

Check if `*-MAlonzo` branch exists on each run #609

Closed Lucsanszky closed 6 days ago

Lucsanszky commented 1 week ago

Description

By checking the existence of the automatically created *-MAlonzo branch on each workflow run and creating the branch if the check fails, rather than only running the branch creation on PR open events, we are reducing the likelihood of missing the branch creation as happened in #607. The *-MAlonzo branch creation step was skipped there for some reason (probably an issue with one of the webhooks in the if check that should have triggered the step) which caused some problems down the line.

Checklist