get rid of broken CI since we're just using plain markdown for now#4
Merged
oskgo merged 1 commit intoEasyCrypt:mainfrom Feb 10, 2025
Merged
get rid of broken CI since we're just using plain markdown for now#4oskgo merged 1 commit intoEasyCrypt:mainfrom
oskgo merged 1 commit intoEasyCrypt:mainfrom
