search

CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA
Other
34 stars 9 forks source link

Use dev version of sail from github for CI. #52

Closed rmn30 closed 7 months ago

rmn30 commented 7 months ago

The github version of sail has some fixes we need for latex output. Let's pin CI to this commit until a new sail is released.

Also update version of upoad-artifact action to non-deprecated version.

rmn30 commented 7 months ago

I could pin to the sail2 branch but experience suggests this is not very stable. The referenced commit is now merged so I'm happy with it as a temporary measure. I do have write access to the sail repo so I could also add a tag but don't really feel it's my place...

marnovandermaas commented 7 months ago

I could pin to the sail2 branch but experience suggests this is not very stable. The referenced commit is now merged so I'm happy with it as a temporary measure. I do have write access to the sail repo so I could also add a tag but don't really feel it's my place...

Yes, I agree that's not optimal either. Let's leave it like this until a new version of Sail comes out with your commit in there.