Skip to content

Actions: static-analysis-engineering/codehawk

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefiles.yaml
135 workflow runs
135 workflow runs

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
Liftingsupport Makefile CI #166: Pull request #199 opened by sipma
9m 1s sipma:liftingsupport
sipma:liftingsupport
9m 1s
Pin goblint-cil.2.0.6 in CI Makefile CI #165: Commit a882fc5 pushed by Databean
7m 13s master
master
7m 13s
CHB: fix Makefile Makefile CI #164: Commit 72ed1b8 pushed by sipma
8m 36s master
master
8m 36s
Liftingsupport Makefile CI #163: Pull request #198 opened by sipma
8m 9s sipma:liftingsupport
sipma:liftingsupport
8m 9s
Standardize on using dune to build CodeHawk Makefile CI #162: Pull request #196 synchronize by brk
5m 31s brk:standardize-on-dune
brk:standardize-on-dune
5m 31s
Standardize on using dune to build CodeHawk Makefile CI #161: Pull request #196 synchronize by brk
7m 11s brk:standardize-on-dune
brk:standardize-on-dune
7m 11s
Standardize on using dune to build CodeHawk Makefile CI #160: Pull request #196 synchronize by brk
8m 23s brk:standardize-on-dune
brk:standardize-on-dune
8m 23s
Standardize on using dune to build CodeHawk Makefile CI #159: Pull request #196 synchronize by brk
5m 10s brk:standardize-on-dune
brk:standardize-on-dune
5m 10s
Standardize on using dune to build CodeHawk Makefile CI #158: Pull request #196 opened by brk
4m 20s brk:standardize-on-dune
brk:standardize-on-dune
4m 20s
CHB:ARM:more support for c-style representation Makefile CI #157: Commit fe4a014 pushed by sipma
5m 25s master
master
5m 25s
Liftingsupport Makefile CI #156: Pull request #195 opened by sipma
5m 23s sipma:liftingsupport
sipma:liftingsupport
5m 23s
CHC: Add command-line argument handling to a number of checkers Makefile CI #155: Commit b7151cf pushed by sipma
4m 25s master
master
4m 25s
CHC: A number of fixes for command line arguments handling Makefile CI #154: Pull request #192 opened by waskyo
4m 15s waskyo:argv_fixes
waskyo:argv_fixes
4m 15s
Remove summary file for __assert_fail Makefile CI #153: Commit c443f5e pushed by sipma
7m 31s master
master
7m 31s
Remove summary file for __assert_fail Makefile CI #152: Pull request #190 opened by waskyo
8m 5s waskyo:remove_assert_fail_summary
waskyo:remove_assert_fail_summary
8m 5s
CHB:TI: allow join of struct type and type of first field Makefile CI #151: Commit 71fe191 pushed by sipma
4m 23s master
master
4m 23s
Liftingsupport Makefile CI #150: Pull request #189 opened by sipma
4m 21s sipma:liftingsupport
sipma:liftingsupport
4m 21s
CHB: add more support for conversion to C expressions Makefile CI #149: Commit 8b90183 pushed by sipma
4m 21s master
master
4m 21s
Liftingsupport Makefile CI #148: Pull request #188 opened by sipma
5m 5s sipma:liftingsupport
sipma:liftingsupport
5m 5s
add more diagnostic logging Makefile CI #147: Commit 19e1350 pushed by sipma
7m 31s master
master
7m 31s
Liftingsupport Makefile CI #146: Pull request #187 opened by sipma
8m 12s sipma:liftingsupport
sipma:liftingsupport
8m 12s
CHB:ARM: more support for c-style representation Makefile CI #145: Commit 07a84f7 pushed by sipma
8m 3s master
master
8m 3s
Liftingsupport Makefile CI #144: Pull request #186 opened by sipma
7m 33s sipma:liftingsupport
sipma:liftingsupport
7m 33s
Bump tagged versions in docs.yaml Makefile CI #143: Commit 9537df9 pushed by sipma
14s master
master
14s
Bump tagged versions in workflows/docs.yaml Makefile CI #142: Pull request #185 opened by brk
4m 23s brk:docs-actions-tags
brk:docs-actions-tags
4m 23s