chore: use ref name rather than full ref in tag - Githubissues

eyereasoner / eye

Euler Yet another proof Engine

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

MIT License

125 stars 17 forks source link

chore: use ref name rather than full ref in tag #63

Closed jeswr closed 1 year ago