search

aya-prover / aya-vscode

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

Can't download the VSCode extension build artifacts #26

Closed noncom closed 1 year ago

noncom commented 1 year ago

The tutorial here https://www.aya-prover.org/guide/vscode-tutorial.html says to go to the aya-vscode github actions https://github.com/aya-prover/aya-vscode/actions/workflows/vsix.yml and to download the artifact from the latest successful run.

But when I try that the artifacts are already expired, since the last run was 2 months ago.

However, going to https://github.com/aya-prover/aya-vscode/releases/tag/nightly-build shows that there's the latest artifact available, the date of it matches the date of the latest run.

So maybe the docs can be updated to reflect this situation better.

ice1000 commented 1 year ago

Makes sense!