Skip to content
This repository has been archived by the owner on Jan 3, 2024. It is now read-only.

Merge pull request #245 from irq0/pr/database-file-rename #589

Merge pull request #245 from irq0/pr/database-file-rename

Merge pull request #245 from irq0/pr/database-file-rename #589

Triggered via push November 16, 2023 09:47
Status Success
Total duration 29s
Artifacts

pre-commit.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
lint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.