ci: revert froglet install, forge works for both

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

https://forge-fm.org/

MIT License

67 stars 8 forks source link

Closed bennn closed 1 year ago

bennn commented 1 year ago

raco pkg install forge gets forge & froglet from the package server