Giters

seL4 / docs

This is the source of the seL4 docs.

Home Page:https://docs.sel4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

github CI actions should not try to deploy on forks

axel-h opened this issue · comments

commented

Follow-up from seL4/ci-actions#185
The github CI actions in this repo should not try to deploy on forks, this will fail anyway. Especially, since this workflow is triggered regularly, the messages with errors can get really annoying after a while ;)