Manage labels

Bump mypy from 1.7.1 to 1.8.0 (#452) #406

Sign in to view logs

Triggered via push December 21, 2023 16:45

main

Status Success

Total duration 14s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

manage-labels.yml

on: push