Commits on Oct 19, 2023

1. GithubCI: upgrade actions to latest version …

   Installing git before checkout was necessary to prevent this
   error when git wants to interact with the checked out repo
   (Probably because it's downloaded using Github's REST API):
   ```
   fatal: not a git repository (or any parent up to mount point /)
   ```
   
   Installing git before checkout also removes the problem with
   using submodule parameter in checkout action so the comments we
   had are no longer applicable.
   
   This was done to fix errors we had with downloading actions [1].
   
   [1] nblockchain#224 (comment)

   

   aarani committed Oct 19, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 0a03f2d
   • Browse repository at this point

   Copy the full SHA

   0a03f2d View commit details

   Browse the repository at this point in the history