Skip to content

Actions: sipma/codehawk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 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
CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69) Build and deploy odoc documentation #129: Commit 222e3e8 pushed by sipma
2m 27s master
master
2m 27s
CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69) dune CI #276: Commit 222e3e8 pushed by sipma
5m 18s master
master
5m 18s
CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69) dune CI #275: Commit 9adbf17 pushed by sipma
4m 49s boolintegerpromotion
boolintegerpromotion
4m 49s
GIT: update compiler to 5.2.0 and remove makefiles workflow dune CI #274: Commit 9fc6ecd pushed by sipma
8m 15s master
master
8m 15s
GIT: update compiler to 5.2.0 and remove makefiles workflow Build and deploy odoc documentation #128: Commit 9fc6ecd pushed by sipma
2m 26s master
master
2m 26s
GIT: update compiler to 5.2.0 and remove makefiles workflow dune CI #273: Commit 223bf97 pushed by sipma
8m 13s scanfhandling
scanfhandling
8m 13s
CHB: add include_callees to metrics Makefile CI #272: Commit 5f99511 pushed by sipma
4m 23s scanfhandling
scanfhandling
4m 23s
CHB: add include_callees to metrics dune CI #272: Commit 5f99511 pushed by sipma
8m 9s scanfhandling
scanfhandling
8m 9s
CHB:INV: restrict removing invariants to side-effect expressions Makefile CI #271: Commit d500db0 pushed by sipma
4m 34s scanfhandling
scanfhandling
4m 34s
CHB:INV: restrict removing invariants to side-effect expressions dune CI #271: Commit d500db0 pushed by sipma
7m 43s scanfhandling
scanfhandling
7m 43s
CHB: handle scanf arguments side effects dune CI #270: Commit 8337906 pushed by sipma
7m 43s scanfhandling
scanfhandling
7m 43s
CHB: handle scanf arguments side effects Makefile CI #270: Commit 8337906 pushed by sipma
50m 2s scanfhandling
scanfhandling
50m 2s
CHB: update version Makefile CI #269: Commit cf0e105 pushed by sipma
4m 16s master
master
4m 16s
CHB: update version Build and deploy odoc documentation #127: Commit cf0e105 pushed by sipma
2m 27s master
master
2m 27s
CHB: update version dune CI #269: Commit cf0e105 pushed by sipma
36m 38s master
master
36m 38s
CHB: update version dune CI #268: Commit 27b65ad pushed by sipma
7m 52s proofobligations
proofobligations
7m 52s
CHB: update version Makefile CI #268: Commit 27b65ad pushed by sipma
4m 23s proofobligations
proofobligations
4m 23s
CHB:PO: delegate BlockWrite without external length term dune CI #267: Commit 2d42553 pushed by sipma
10m 49s master
master
10m 49s
CHB:PO: delegate BlockWrite without external length term Build and deploy odoc documentation #126: Commit 2d42553 pushed by sipma
5m 14s master
master
5m 14s
CHB:PO: delegate BlockWrite without external length term Makefile CI #267: Commit 2d42553 pushed by sipma
7m 3s master
master
7m 3s
CHB:PO: delegate BlockWrite without external length term Makefile CI #266: Commit 4ae5796 pushed by sipma
7m 18s preconditions
preconditions
7m 18s
CHB:PO: delegate BlockWrite without external length term dune CI #266: Commit 4ae5796 pushed by sipma
11m 6s preconditions
preconditions
11m 6s
CHB: add format arguments to trusted-os-cmd-fmt-string po Makefile CI #265: Commit 049e8f6 pushed by sipma
7m 17s preconditions
preconditions
7m 17s
CHB: add format arguments to trusted-os-cmd-fmt-string po dune CI #265: Commit 049e8f6 pushed by sipma
8m 41s preconditions
preconditions
8m 41s
CHB: recognize function signature with varargs and printf/scanf forma… Build and deploy odoc documentation #125: Commit 568d90d pushed by sipma
2m 33s master
master
2m 33s