Skip to content

Actions: static-analysis-engineering/CodeHawk-C

Actions

CI_mypy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run_mypy.yaml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CMD: add investigate command for projects CI_mypy #120: Commit 5d9f0f2 pushed by sipma
33s performance
performance
33s
PROOF: output-parameter analysis digest support CI_mypy #119: Commit 16ec171 pushed by sipma
37s performance
performance
37s
Merge pull request #62 from sipma/invariantquery CI_mypy #118: Commit 46e378c pushed by sipma
32s master
master
32s
Invariantquery CI_mypy #117: Pull request #62 synchronize by sipma
28s sipma:invariantquery
sipma:invariantquery
28s
extend cil-source pretty printer CI_mypy #116: Commit 366a572 pushed by sipma
37s performance
performance
37s
PROOF: add checker for output parameters CI_mypy #115: Commit 4d8a418 pushed by sipma
33s performance
performance
33s
CMD: add cmdline options to choose analysis CI_mypy #114: Commit c6f5e62 pushed by sipma
44s performance
performance
44s
Merge pull request #61 from brk/push-mloorrkryqsm CI_mypy #113: Commit 82de696 pushed by sipma
28s master
master
28s
Fix typo in README.md CI_mypy #112: Pull request #61 opened by brk
3m 39s brk:push-mloorrkryqsm
brk:push-mloorrkryqsm
3m 39s
Merge pull request #59 from brk/push-ktzkqmwvptqo CI_mypy #111: Commit f955d84 pushed by sipma
41s master
master
41s
Merge pull request #60 from static-analysis-engineering/scanop CI_mypy #110: Commit 9030703 pushed by sipma
54s master
master
54s
Scanop CI_mypy #109: Pull request #60 opened by sipma
28s scanop
scanop
28s
CMD: initialize exclude_files with the empty list CI_mypy #108: Commit 92b9bbd pushed by sipma
2m 7s scanop
scanop
2m 7s
Invoke C preprocessor via cc instead of gcc CI_mypy #107: Pull request #59 opened by brk
31s brk:push-ktzkqmwvptqo
brk:push-ktzkqmwvptqo
31s
fix pycodestyle issues CI_mypy #106: Commit b605621 pushed by sipma
34s scanop
scanop
34s
CMD: add command for scanning potential output parameters CI_mypy #105: Commit 8e0579c pushed by sipma
41s scanop
scanop
41s
Merge pull request #54 from brk/standardize-on-dune CI_mypy #104: Commit 55c7beb pushed by sipma
28s scanop
scanop
28s
Merge pull request #54 from brk/standardize-on-dune CI_mypy #103: Commit 55c7beb pushed by sipma
28s master
master
28s
Merge pull request #58 from sipma/parsing CI_mypy #102: Commit 9ee0aac pushed by sipma
31s master
master
31s
Parsing CI_mypy #101: Pull request #58 synchronize by sipma
26s sipma:parsing
sipma:parsing
26s
CMD: Allow excluding files from analysis CI_mypy #100: Commit 5565f63 pushed by sipma
30s master
master
30s
CMD: Allow excluding files from analysis CI_mypy #99: Pull request #57 synchronize by waskyo
32s waskyo:allow_excluding_files_from_analysis
waskyo:allow_excluding_files_from_analysis
32s
CMD: Allow excluding files from analysis CI_mypy #98: Pull request #57 opened by waskyo
27s waskyo:allow_excluding_files_from_analysis
waskyo:allow_excluding_files_from_analysis
27s
have git ignore ocaml binaries CI_mypy #97: Commit 77f2a7b pushed by sipma
25s master
master
25s
Miscellaneous fixes CI_mypy #96: Pull request #55 synchronize by waskyo
31s waskyo:misc_fixes_2025_05_14
waskyo:misc_fixes_2025_05_14
31s