Skip to content
Proofs

[patch-axel-25] CI: add mypy for type checking of python scripts #3589

Sign in to view logs

[patch-axel-25] CI: add mypy for type checking of python scripts

[patch-axel-25] CI: add mypy for type checking of python scripts #3589

Triggered via pull request July 1, 2024 12:07
@axel-haxel-h
synchronize #156
Status Skipped
Total duration 3s
Artifacts –

proof.yml

on: pull_request_target
Matrix: C Proofs
Fit to window
Zoom out
Zoom in