CI: bump actions/checkout action to v3
authorChristian Marangi <ansuelsmth@gmail.com>
Wed, 12 Oct 2022 13:24:11 +0000 (15:24 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Wed, 12 Oct 2022 14:47:46 +0000 (16:47 +0200)
commit87c69d73bb4021bf3a26217b3a652ce262637b1e
tree82f85cca30bdb4d660cece5c3ed851530ed1c900
parentcd93980abb0c6452fd3e9c1213caaf26d221fcd4
CI: bump actions/checkout action to v3

Bump actions/checkout action to v3 on every workflow to mute node
deprecation warning.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
.github/workflows/formal.yml
.github/workflows/kernel.yml
.github/workflows/tools.yml