search

open-education-hub / operating-systems

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

workflows: Fix PR deployment action #333

Closed gabrielmocanu closed 11 months ago

gabrielmocanu commented 11 months ago

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