Revert InfraBot change for `tezos-ligo` version
type:fixed
This MR reverts the change of the InfraBot in commit d791663b which changed the tezos-ligo
commit hash
from de7e9bb06b9a6fb85ce94cea43df5a1a67b14dd2
to 76b99981baff9a60a235db41caf3465b7016d659
.
However, de7e9bb06b9a6fb85ce94cea43df5a1a67b14dd2
is the more recent release of tezos-ligo
.
Follow up tasks:
- How did this pass CI?
- Why did the InfraBot decide to downgrade?