Update pull request actions

This commit is contained in:
Magne Sjaastad
2023-05-18 21:21:33 +02:00
committed by GitHub
parent 873ff95c13
commit 95e3435384
6 changed files with 6 additions and 6 deletions