Closed jryans closed 1 year ago
This looks good to me. @mflatt, what do you think?
Yes, this looks like a good idea to me. I think it will be best to handle it at cisco/ChezScheme after the impending merge, though.
I think it will be best to handle it at cisco/ChezScheme after the impending merge, though.
Ah okay, seems reasonable to me. I can resubmit the PR over there after the merge then.
Is there an issue / PR / discussion I can follow about this upcoming merge? I can't seem to find anything about it after a few searches...
Is there an issue / PR / discussion I can follow about this upcoming merge?
I'm working on a post to the chez-scheme group at groups.google.com, so it will be there soon.
Edit: https://groups.google.com/g/chez-scheme/c/D7g6mIcYLNU/m/DPyRVHslAgAJ
I have recreated this PR upstream: https://github.com/cisco/ChezScheme/pull/730
As discussed a while ago, it would be good to have CI coverage of the reboot pathway.
This adds a Linux variant to CI which covers this additional bootstrapping dimension.