effekt-lang / effekt-website

Website of the Effekt programming language
https://effekt-lang.github.io/effekt-website
MIT License
4 stars 6 forks source link

Change Github Action to create PR for compiler update #41

Closed dvdvgt closed 10 months ago

dvdvgt commented 10 months ago

Previously the "update compiler" workflow tried to push directly to the master branch. However, due to branch protection this resulted in an error. Now the action opens a new PR instead and requires permission for merging (see #40). I added @b-studios and myself as reviewers for these automated PR.