Skip to content

Actions: sipma/codehawk

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefiles.yaml
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add more diagnostic logging Makefile CI #162: Commit 19e1350 pushed by sipma
7m 21s master
master
7m 21s
add more diagnostic logging Makefile CI #161: Commit 1b1230a pushed by sipma
8m 9s liftingsupport
liftingsupport
8m 9s
CHB:ARM: convert LDRB to transmit C expressions Makefile CI #160: Commit a8c959b pushed by sipma
4m 30s liftingsupport
liftingsupport
4m 30s
CHB:ARM: more support for c-style representation Makefile CI #159: Commit 07a84f7 pushed by sipma
7m 21s master
master
7m 21s
CHB:ARM: more support for c-style representation Makefile CI #158: Commit 7c7e994 pushed by sipma
4m 25s liftingsupport
liftingsupport
4m 25s
CHB: infrastructure for c style expressions Makefile CI #157: Commit 3e0ff88 pushed by sipma
7m 33s liftingsupport
liftingsupport
7m 33s
CHB:ARM: convert STMIB LHS to type-based representation Makefile CI #156: Commit e4f06e3 pushed by sipma
4m 28s master
master
4m 28s
CHB:ARM: convert STMIB LHS to type-based representation Makefile CI #155: Commit 025b0a1 pushed by sipma
4m 26s liftingsupport
liftingsupport
4m 26s
CHB:ARM: add LHS type-conversion for STRD Makefile CI #154: Commit 1de40b9 pushed by sipma
4m 25s liftingsupport
liftingsupport
4m 25s
CHB:ARM: add more type inference Makefile CI #153: Commit 1edaaa1 pushed by sipma
12s master
master
12s
CHB:ARM: add more type inference Makefile CI #152: Commit 4d3259a pushed by sipma
4m 21s astprovsupport
astprovsupport
4m 21s
ARM: add more type inference Makefile CI #151: Commit f36342c pushed by sipma
4m 28s master
master
4m 28s
ARM: add more type inference Makefile CI #150: Commit 1593e88 pushed by sipma
4m 15s functionannotations
functionannotations
4m 15s
CHB: add more memory variable typing Makefile CI #149: Commit a58d1b4 pushed by sipma
4m 17s master
master
4m 17s
CHB: add more memory variable typing Makefile CI #148: Commit db702ac pushed by sipma
4m 20s instructionapi
instructionapi
4m 20s
Sprinkle around some library dependencies in dune files Makefile CI #147: Commit 737054f pushed by sipma
4m 55s master
master
4m 55s
ARM:STRD: rewrite addresses Makefile CI #146: Commit 9d0fe38 pushed by sipma
5m 12s master
master
5m 12s
ARM:STRD: rewrite addresses Makefile CI #145: Commit 2dde8a6 pushed by sipma
4m 29s pirinspector
pirinspector
4m 29s
add error handling Makefile CI #144: Commit 03bd92c pushed by sipma
8m 57s master
master
8m 57s
add error handling Makefile CI #143: Commit 9ea6311 pushed by sipma
7m 22s elfdiagnostics
elfdiagnostics
7m 22s
CHJ:jchstac: fix warnings and reformat Makefile CI #142: Commit ecca7fe pushed by sipma
5m 9s master
master
5m 9s
CHJ:jchstac: fix warnings and reformat Makefile CI #141: Commit d2756dd pushed by sipma
9m 39s fixwarnings
fixwarnings
9m 39s
CHJ:jchpoly: fix warnings and reformat Makefile CI #140: Commit a663cc9 pushed by sipma
5m 29s fixwarnings
fixwarnings
5m 29s
CHB:MIPS: add error handling Makefile CI #139: Commit 81af6d3 pushed by sipma
1m 10s elfdiagnostics
elfdiagnostics
1m 10s
Merge pull request #176 from sipma/memoryaddress Makefile CI #138: Commit 340cbf1 pushed by sipma
7m 28s master
master
7m 28s