chore: only run on pushes to `refs/tags/` - Githubissues

eyereasoner / eye

Euler Yet another proof Engine

https://eyereasoner.github.io/eye/

MIT License

124 stars 17 forks source link

chore: only run on pushes to `refs/tags/` #64

Closed jeswr closed 1 year ago