Update 10-github_actions.qmd

b-rodrigues · Oct 31, 2023 · 1dc0bcf · 1dc0bcf
1 parent 4c9afd4
commit 1dc0bcf
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/10-github_actions.qmd b/10-github_actions.qmd
@@ -132,6 +132,9 @@ Let's push, and see what happens on github.com:
   </video>
 </div>
 
+{{< video img/ga_1.mp4 >}}
+
+
 If we take a look at the commit we just pushed, we see this yellow dot next to the commit name.
 This means that an action is running. We can then take a look at the output of the job, and
 see that our commands, defined with the `run` statements in the workflow file, succeeded and echoed