search

open-education-hub / operating-systems

Teaching resources (OER) for Operating Systems
https://open-education-hub.github.io/operating-systems/
Other
63 stars 158 forks source link

workflows: Fix PR deployment action #332

Closed gabrielmocanu closed 1 year ago

gabrielmocanu commented 1 year ago

Fix PR deployment action by use the head_ref for checkout action in order to grab the PR base branch.