Closed ddjoh closed 1 year ago
The CI test failing is due to something unrelated. I dunno why but the tip release seems to not be correctly tagged. Nothing has changed on the Acton side. I saw in the notification for the tip release that it's gotten some "unreleased-asdfasdfasd" mumbo jumbo on it, which is the first time I'm seeing this. Maybe GitHub changed something?
https://github.com/actonlang/acton/pull/1545 is merged. Once the CI completes on main, there should be a new push to the tip
release. Let's see if that fixes things so we can rerun CI here. Either way, we can merge this PR after that.
It did, Yay. Merging.
Main config basics