Skip to content

Actions: static-analysis-engineering/CodeHawk-C

Actions

CI_pycodestyle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run_pycodestyle.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_pycodestyle #87: Commit 5d9f0f2 pushed by sipma
18s performance
performance
18s
PROOF: output-parameter analysis digest support CI_pycodestyle #86: Commit 16ec171 pushed by sipma
17s performance
performance
17s
Merge pull request #62 from sipma/invariantquery CI_pycodestyle #85: Commit 46e378c pushed by sipma
22s master
master
22s
Invariantquery CI_pycodestyle #84: Pull request #62 synchronize by sipma
20s sipma:invariantquery
sipma:invariantquery
20s
extend cil-source pretty printer CI_pycodestyle #83: Commit 366a572 pushed by sipma
27s performance
performance
27s
PROOF: add checker for output parameters CI_pycodestyle #82: Commit 4d8a418 pushed by sipma
27s performance
performance
27s
CMD: add cmdline options to choose analysis CI_pycodestyle #81: Commit c6f5e62 pushed by sipma
19s performance
performance
19s
Merge pull request #61 from brk/push-mloorrkryqsm CI_pycodestyle #80: Commit 82de696 pushed by sipma
2m 35s master
master
2m 35s
Fix typo in README.md CI_pycodestyle #79: Pull request #61 opened by brk
33s brk:push-mloorrkryqsm
brk:push-mloorrkryqsm
33s
Merge pull request #59 from brk/push-ktzkqmwvptqo CI_pycodestyle #78: Commit f955d84 pushed by sipma
31s master
master
31s
Merge pull request #60 from static-analysis-engineering/scanop CI_pycodestyle #77: Commit 9030703 pushed by sipma
26s master
master
26s
Scanop CI_pycodestyle #76: Pull request #60 opened by sipma
2m 26s scanop
scanop
2m 26s
CMD: initialize exclude_files with the empty list CI_pycodestyle #75: Commit 92b9bbd pushed by sipma
33s scanop
scanop
33s
Invoke C preprocessor via cc instead of gcc CI_pycodestyle #74: Pull request #59 opened by brk
25s brk:push-ktzkqmwvptqo
brk:push-ktzkqmwvptqo
25s
fix pycodestyle issues CI_pycodestyle #73: Commit b605621 pushed by sipma
20s scanop
scanop
20s
CMD: add command for scanning potential output parameters CI_pycodestyle #72: Commit 8e0579c pushed by sipma
27s scanop
scanop
27s
Merge pull request #54 from brk/standardize-on-dune CI_pycodestyle #71: Commit 55c7beb pushed by sipma
23s scanop
scanop
23s
Merge pull request #54 from brk/standardize-on-dune CI_pycodestyle #70: Commit 55c7beb pushed by sipma
19s master
master
19s
Merge pull request #58 from sipma/parsing CI_pycodestyle #69: Commit 9ee0aac pushed by sipma
20s master
master
20s
Parsing CI_pycodestyle #68: Pull request #58 synchronize by sipma
18s sipma:parsing
sipma:parsing
18s
CMD: Allow excluding files from analysis CI_pycodestyle #67: Commit 5565f63 pushed by sipma
26s master
master
26s
CMD: Allow excluding files from analysis CI_pycodestyle #66: Pull request #57 synchronize by waskyo
25s waskyo:allow_excluding_files_from_analysis
waskyo:allow_excluding_files_from_analysis
25s
CMD: Allow excluding files from analysis CI_pycodestyle #65: Pull request #57 opened by waskyo
21s waskyo:allow_excluding_files_from_analysis
waskyo:allow_excluding_files_from_analysis
21s
have git ignore ocaml binaries CI_pycodestyle #64: Commit 77f2a7b pushed by sipma
14s master
master
14s
Miscellaneous fixes CI_pycodestyle #63: Pull request #55 synchronize by waskyo
37s waskyo:misc_fixes_2025_05_14
waskyo:misc_fixes_2025_05_14
37s