search

aya-prover / aya-vscode

~ VSCode extension for Aya Prover
GNU General Public License v3.0
7 stars 2 forks source link

CI is broken #22

Closed imkiva closed 1 year ago

ice1000 commented 1 year ago

You fixed it