.github: Switch to v4 of actions/checkout
GitHub is emitting a warning that v3 is deprecated due to using
Node.js 16.
Description
Description
Details
Details
- Provenance
jhb Authored on Mar 5 2024, 5:52 AM - Parents
- rG47ad4f2d45e4: ktrace: log genio events on failed write
- Branches
- Unknown
- Tags