search

HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

Actions with wrong version #498

Closed aripiprazole closed 1 year ago

aripiprazole commented 1 year ago

The GitHub Actions are failing due to the wrong rust version:

https://github.com/HigherOrderCO/Kind/actions/runs/4494123027/jobs/7906208026?pr=497