infra/keys
9
0
Fork 1
Code Issues Pull requests Activity Actions

fix script for python 12

Browse source
This commit is contained in:
kleines Filmröllchen 2025-01-28 11:14:17 +01:00
parent b15a513939
commit 88e4b44d10
Signed by: filmroellchen
SSH key fingerprint: SHA256:NarU6J/XgCfEae4rbei0YIdN2pYaYDccarK6R53dnc8
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
verify.py
View file

@ -7,8 +7,6 @@ import logging
import git import git
from os import environ as env, chdir from os import environ as env, chdir
from pathlib import Path from pathlib import Path
from typing import Generator
from subprocess import call
from tempfile import NamedTemporaryFile from tempfile import NamedTemporaryFile
import requests import requests
@ -21,7 +19,7 @@ action_ref = env["GITHUB_REF"]
# token = env["GITHUB_TOKEN"] # token = env["GITHUB_TOKEN"]
def collect_user_dirs() -> Generator[Path]: def collect_user_dirs():
return ( return (
dir dir
for dir in Path(".").glob("*") for dir in Path(".").glob("*")