diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-04-10 19:25:03 +0200 |
---|---|---|
committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-04-17 00:01:00 +0200 |
commit | 64f35baa342d0b15f73cd789556d7a74fd31646e (patch) | |
tree | 3b3ecdc9ad3ba0402cfb8a7f9fc67e00f29288fb /commit-graph.c | |
parent | 6133e3a77ea2df522c91d6bbaf4b9911d1ec9d3c (diff) | |
parent | f6bed64ce2f645c773b1320cb2cd555600468ec7 (diff) |
Merge branch 'jc/maint-github-actions-update'
* jc/maint-github-actions-update:
GitHub Actions: update to github-script@v7
GitHub Actions: update to checkout@v4
Yet another thing to help `maint-2.39`'s CI builds to become healthy
again.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions