mirrors/build123d
1
Fork 0
mirror of https://github.com/gumyr/build123d.git synced 2025-12-06 02:30:55 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update mypy.yml

Browse source
This commit is contained in:
jdegenstein 2025-01-07 15:31:03 -06:00 • committed by GitHub
parent b2e6b3c0d4
commit a2c53eab1b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/mypy.yml vendored
View file

@ -1,6 +1,6 @@
name: Run type checker name: Run type checker
on: [push, pull_request] on: [push, pull_request, workflow_dispatch]
jobs: jobs:
typecheck: typecheck:
strategy: strategy: