gha: update checkout to v4

rjbou · Feb 22, 2024 · bb1052f · bb1052f
1 parent 87a88a5
commit bb1052f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/lib.ml b/.github/workflows/lib.ml
@@ -240,7 +240,7 @@ let uses name ?id ?cond ?(continue_on_error=false) ?(withs=[]) action ~oc ~workf
   f ~oc ~workflow ~job
 
 let checkout ?cond () =
-  uses "Checkout tree" ?id:None ?cond "actions/checkout@v3"
+  uses "Checkout tree" ?id:None ?cond "actions/checkout@v4"
 
 let skip_step ~oc ~workflow ~job f = f ~oc ~workflow ~job
 

diff --git a/master_changes.md b/master_changes.md
@@ -119,6 +119,7 @@ users)
 ### Engine
 
 ## Github Actions
+  * Update checkout action to v4 [#5851 @rjbou]
 
 ## Doc
   * Fix a typo in the documentation of `opam lint --recursive` [#5812 @Khady]