]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13856 from dealii/dependabot/github_actions/actions/checkout-3
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 31 May 2022 04:11:34 +0000 (22:11 -0600)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 04:11:34 +0000 (22:11 -0600)
commit2e1ee440f4ed7e305c4a949441df95170cc0a71a
tree4fd2713ef5cad6d79dbebea38e623559e69a1dd8
parent3e6f3182725e3c677af93f58bcb60f83e03e757b
parent8a91b5241af5ffd5eef880916a4efe6a1538dd84
Merge pull request #13856 from dealii/dependabot/github_actions/actions/checkout-3

Bump actions/checkout from 2 to 3

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.