From bb1052f2c4eeb72c14f0000a627ae1c206cbcdfd Mon Sep 17 00:00:00 2001 From: Raja Boujbel Date: Thu, 22 Feb 2024 19:08:46 +0100 Subject: [PATCH] gha: update checkout to v4 --- .github/workflows/lib.ml | 2 +- master_changes.md | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/lib.ml b/.github/workflows/lib.ml index 0eb2f254511..d5f5864c7fa 100644 --- 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 index 0999ff4411e..b5f6d641500 100644 --- 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]