Skip to content

Actions: static-analysis-engineering/CodeHawk-C

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Invariantquery CI_mypy #117: Pull request #62 synchronize by sipma
28s sipma:invariantquery
sipma:invariantquery
28s
Invariantquery CI_pycodestyle #84: Pull request #62 synchronize by sipma
20s sipma:invariantquery
sipma:invariantquery
20s
extend cil-source pretty printer CI_mypy #116: Commit 366a572 pushed by sipma
37s performance
performance
37s
extend cil-source pretty printer CI_pycodestyle #83: Commit 366a572 pushed by sipma
27s performance
performance
27s
PROOF: add checker for output parameters CI_mypy #115: Commit 4d8a418 pushed by sipma
33s performance
performance
33s
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_mypy #114: Commit c6f5e62 pushed by sipma
44s performance
performance
44s
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_mypy #113: Commit 82de696 pushed by sipma
28s master
master
28s
Merge pull request #61 from brk/push-mloorrkryqsm Documentation #19: Commit 82de696 pushed by sipma
15s master
master
15s
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_mypy #112: Pull request #61 opened by brk
3m 39s brk:push-mloorrkryqsm
brk:push-mloorrkryqsm
3m 39s
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_mypy #111: Commit f955d84 pushed by sipma
41s master
master
41s
Merge pull request #59 from brk/push-ktzkqmwvptqo Documentation #18: Commit f955d84 pushed by sipma
17s master
master
17s
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 Documentation #17: Commit 9030703 pushed by sipma
12s master
master
12s
Merge pull request #60 from static-analysis-engineering/scanop CI_pycodestyle #77: Commit 9030703 pushed by sipma
26s master
master
26s
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
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
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_pycodestyle #74: Pull request #59 opened by brk
25s brk:push-ktzkqmwvptqo
brk:push-ktzkqmwvptqo
25s
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