Skip to content

Actions: static-analysis-engineering/CodeHawk-C

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sphinx_docs.yaml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #61 from brk/push-mloorrkryqsm Documentation #19: Commit 82de696 pushed by sipma
15s master
master
15s
Merge pull request #59 from brk/push-ktzkqmwvptqo Documentation #18: Commit f955d84 pushed by sipma
17s master
master
17s
Merge pull request #60 from static-analysis-engineering/scanop Documentation #17: Commit 9030703 pushed by sipma
12s master
master
12s
Merge pull request #54 from brk/standardize-on-dune Documentation #16: Commit 55c7beb pushed by sipma
9s master
master
9s
Merge pull request #58 from sipma/parsing Documentation #15: Commit 9ee0aac pushed by sipma
9s master
master
9s
CMD: Allow excluding files from analysis Documentation #14: Commit 5565f63 pushed by sipma
8s master
master
8s
have git ignore ocaml binaries Documentation #13: Commit 77f2a7b pushed by sipma
6s master
master
6s
switch github actions to run on ubuntu 22.04 Documentation #12: Commit 7a30409 pushed by sipma
5s master
master
5s
add error handling Documentation #11: Commit 2cb7996 pushed by sipma
4m 1s master
master
4m 1s
JSON: add program context to proof obligations Documentation #10: Commit 10d9c4f pushed by sipma
4m 6s master
master
4m 6s
CMD: add command to list arguments to calls Documentation #9: Commit 020659c pushed by sipma
2m 22s master
master
2m 22s
JSON: add function api data to json results Documentation #8: Commit 99d2c4a pushed by sipma
2m 21s master
master
2m 21s
CMD: add cmd-line options Documentation #7: Commit 53078e9 pushed by sipma
2m 54s master
master
2m 54s
TESTS: add tests for gcc-like attributes Documentation #6: Commit 1821e9a pushed by sipma
2m 54s master
master
2m 54s