search

aya-prover / aya-vscode

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

Nightly build and auto release #13

Closed imkiva closed 2 years ago

imkiva commented 2 years ago

copied from https://github.com/EKA2L1/EKA2L1/blob/master/.github/workflows/c-cpp.yml

ice1000 commented 2 years ago

By port I mean only for main branch pushes

imkiva commented 2 years ago

Ok. Let me have a test first in this repo

imkiva commented 2 years ago

I think they are already only enabled on main branch. Like:

if: github.ref == 'refs/heads/main'
ice1000 commented 2 years ago

@imkiva IC

imkiva commented 2 years ago

Anyway, let's try! bors r+

bors[bot] commented 2 years ago

Build succeeded: