diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-04-10 19:25:02 +0200 |
|---|---|---|
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-04-16 23:59:03 +0200 |
| commit | b12dcab61d0eaaffab6e5bb97667407a523c4b1f (patch) | |
| tree | b95af5ccb5c8b620e3f38daf6c2c7f3db170d08f /commit.h | |
| parent | c7db432de6cf7f53888405c24609793cd550da97 (diff) | |
| parent | 3167b60e5bd9fb8e2f9413b38001b624dc2e3da2 (diff) | |
Merge branch 'js/ci-use-macos-13'
Replace macos-12 used at GitHub CI with macos-13.
* js/ci-use-macos-13:
ci: upgrade to using macos-13
This is another backport to `maint-2.39` to allow less CI jobs to break.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Diffstat (limited to 'commit.h')
0 files changed, 0 insertions, 0 deletions