tree b0d47c24b386cbc5b5c490b80104bf47b05678a8
parent 0e3fe53a18767d383b15a2d2205351f86510b08d
author Henner Zeller <h.zeller@acm.org> 1739728846 -0800
committer Henner Zeller <h.zeller@acm.org> 1739737548 -0800

Update github actions that are deprecated.