Mypy Ratchet

Merge branch 'main' into member-role-hack #574

Sign in to view logs

Summary
Jobs
- mypy
Run details
- Usage
- Workflow file

Triggered via push November 3, 2023 11:01

jace

member-role-hack

Status Success

Total duration 2m 13s

Artifacts –

mypy-ratchet.yml

on: push