Skip to content
This repository was archived by the owner on Apr 4, 2024. It is now read-only.

Merge branch 'diffplug:main' into main #10

Merge branch 'diffplug:main' into main

Merge branch 'diffplug:main' into main #10

Triggered via push February 21, 2024 07:17
Status Success
Total duration 1m 57s
Artifacts

python-ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in