Skip to content

Actions: sipma/codehawk

Actions

dune CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dune.yaml
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CHB: revert chk_flows_to_argument mode to cons param dune CI #254: Commit 689c89a pushed by sipma
5m 34s master
master
5m 34s
CHB: revert chk_flows_to_argument mode to cons param dune CI #253: Commit 6bbd04c pushed by sipma
5m 19s attributeparams
attributeparams
5m 19s
CHB:ARM: only enable POP-rdef-return when constructing signatures dune CI #252: Commit 4be9f01 pushed by sipma
8m 51s master
master
8m 51s
CHB:ARM: only enable POP-rdef-return when constructing signatures dune CI #251: Commit 636a625 pushed by sipma
8m 55s headerfile
headerfile
8m 55s
CHB:fix Makefile dune CI #250: Commit 553f3cc pushed by sipma
8m 56s master
master
8m 56s
CHB:fix Makefile dune CI #249: Commit 71afc29 pushed by sipma
5m 26s functionapis
functionapis
5m 26s
CHB:ARM:type constraints for function signature inference dune CI #248: Commit 9dd0878 pushed by sipma
8m 47s functionapis
functionapis
8m 47s
CHB: fix Makefile dependency dune CI #247: Commit 3093c20 pushed by sipma
8m 47s master
master
8m 47s
CHB: fix Makefile dependency dune CI #246: Commit 883af86 pushed by sipma
5m 20s propagation
propagation
5m 20s
CHB: avoid 1-byte buffer sizes dune CI #245: Commit c6d8497 pushed by sipma
8m 48s propagation
propagation
8m 48s
CHC: add attribute post request for initialized value dune CI #244: Commit 5eaebca pushed by sipma
5m 42s master
master
5m 42s
CHC: add attribute post request for initialized value dune CI #243: Commit e4d7b2a pushed by sipma
5m 48s postrequest
postrequest
5m 48s
CHB:ELF: enable retrieval of last n bytes from section dune CI #242: Commit c56db3b pushed by sipma
5m 46s master
master
5m 46s
CHB:ELF: enable retrieval of last n bytes from section dune CI #241: Commit 9bf449a pushed by sipma
5m 44s disassembly
disassembly
5m 44s
CHC: fix regression tests by switching to another memref representation dune CI #240: Commit e35d9c3 pushed by sipma
9m 0s master
master
9m 0s
CHC: fix regression tests by switching to another memref representation dune CI #239: Commit 624e50b pushed by sipma
7m 26s cmdlineargs
cmdlineargs
7m 26s
CHC: add check on returnsites written dune CI #238: Commit 5414e06 pushed by sipma
5m 4s master
master
5m 4s
CHB:ARM: restore conversion in arguments dune CI #237: Commit 1007191 pushed by sipma
8m 27s master
master
8m 27s
CHB:ARM: restore conversion in arguments dune CI #236: Commit c805589 pushed by sipma
5m 12s stackframe
stackframe
5m 12s
CHB: correct for stackpointer wrap-around dune CI #235: Commit c402f7f pushed by sipma
5m 26s stackframe
stackframe
5m 26s
CHB: generalize offset handling dune CI #234: Commit 075b061 pushed by sipma
5m 31s stackframe
stackframe
5m 31s
CHB: add diagnostics dune CI #233: Commit b2a6c69 pushed by sipma
5m 11s stackframe
stackframe
5m 11s
CHB:ARM: give priority to declared stack types dune CI #232: Commit 20c7d8a pushed by sipma
5m 24s stackframe
stackframe
5m 24s
CHB: allow for register spill/restore in trampoline dune CI #231: Commit 99ae5b5 pushed by sipma
5m 21s stackframe
stackframe
5m 21s
CHB:include stackslots for arguments and fix tests dune CI #230: Commit b0d4e47 pushed by sipma
5m 10s stackframe
stackframe
5m 10s