This repository has been archived by the owner on Feb 3, 2024. It is now read-only.

lint

Merge pull request #335 from maarten-boot/master #101

Sign in to view logs

Summary
Jobs
- mypy
Run details
- Usage
- Workflow file

Triggered via push November 2, 2023 12:31

master

Status Success

Total duration 32s

Artifacts –

lint.yml

on: push