FIXME: Run CI from ci branch

Signed-off-by: Robert Winkler <[email protected]>
antmicro · Jul 21, 2023 · c9e8acd · c9e8acd
1 parent b9bfe46
commit c9e8acd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ghpages.yml b/.github/workflows/ghpages.yml
@@ -5,6 +5,7 @@ on:
   push:
     branches:
       - main
+      - ci
 
 jobs:
   docs-generation: