Skip to content

Actions: static-analysis-engineering/CodeHawk-C

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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_pycodestyle #65: Pull request #57 opened by waskyo
21s waskyo:allow_excluding_files_from_analysis
waskyo:allow_excluding_files_from_analysis
21s
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
have git ignore ocaml binaries CI_pycodestyle #64: Commit 77f2a7b pushed by sipma
14s master
master
14s
have git ignore ocaml binaries Documentation #13: Commit 77f2a7b pushed by sipma
6s master
master
6s
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
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
switch github actions to run on ubuntu 22.04 CI_mypy #95: Commit 7a30409 pushed by sipma
25s master
master
25s
switch github actions to run on ubuntu 22.04 CI_pycodestyle #62: Commit 7a30409 pushed by sipma
19s master
master
19s
switch github actions to run on ubuntu 22.04 Documentation #12: Commit 7a30409 pushed by sipma
5s master
master
5s
Switch github actions to run on ubuntu 22.04 CI_pycodestyle #61: Pull request #56 synchronize by waskyo
19s waskyo:fix_github_actions
waskyo:fix_github_actions
19s
Switch github actions to run on ubuntu 22.04 CI_mypy #94: Pull request #56 synchronize by waskyo
26s waskyo:fix_github_actions
waskyo:fix_github_actions
26s
Switch github actions to run on ubuntu 22.04 CI_mypy #93: Pull request #56 opened by waskyo
36s waskyo:fix_github_actions
waskyo:fix_github_actions
36s
Switch github actions to run on ubuntu 22.04 CI_pycodestyle #60: Pull request #56 opened by waskyo
20s waskyo:fix_github_actions
waskyo:fix_github_actions
20s
Miscellaneous fixes CI_mypy #92: Pull request #55 opened by waskyo
2s waskyo:misc_fixes_2025_05_14
waskyo:misc_fixes_2025_05_14
2s
Miscellaneous fixes CI_pycodestyle #59: Pull request #55 opened by waskyo
1s waskyo:misc_fixes_2025_05_14
waskyo:misc_fixes_2025_05_14
1s
Update README for dune-built CodeHawk CI_mypy #91: Pull request #54 synchronize by brk
2s brk:standardize-on-dune
brk:standardize-on-dune
2s
Update README for dune-built CodeHawk CI_pycodestyle #58: Pull request #54 synchronize by brk
3s brk:standardize-on-dune
brk:standardize-on-dune
3s
add error handling CI_pycodestyle #56: Commit 2cb7996 pushed by sipma
19s master
master
19s
add error handling Documentation #11: Commit 2cb7996 pushed by sipma
4m 1s master
master
4m 1s
add error handling CI_mypy #89: Commit 2cb7996 pushed by sipma
32s master
master
32s
add error handling CI_pycodestyle #55: Pull request #53 opened by sipma
19s sipma:errorhandling
sipma:errorhandling
19s
add error handling CI_mypy #88: Pull request #53 opened by sipma
29s sipma:errorhandling
sipma:errorhandling
29s
JSON: add program context to proof obligations CI_mypy #87: Commit 10d9c4f pushed by sipma
40s master
master
40s