Skip to content

Actions: static-analysis-engineering/CodeHawk-Binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix typo CI_mypy #450: Commit 1d210f6 pushed by sipma
30s master
master
30s
Liftingarm CI_mypy #449: Pull request #227 opened by sipma
29s sipma:liftingarm
sipma:liftingarm
29s
fix mypy error CI_mypy #448: Commit 2fb16ba pushed by sipma
38s master
master
38s
Liftingarm CI_mypy #447: Pull request #226 opened by sipma
32s sipma:liftingarm
sipma:liftingarm
32s
ARM: updates for result types / c expressions CI_mypy #446: Commit 8c871a4 pushed by sipma
30s master
master
30s
Armdisassembly CI_mypy #445: Pull request #225 opened by sipma
30s sipma:armdisassembly
sipma:armdisassembly
30s
ARM: add support for tail call returning a value (Issue:223) CI_mypy #444: Commit 4687988 pushed by sipma
40s master
master
40s
Functionnames CI_mypy #443: Pull request #224 opened by sipma
41s sipma:functionnames
sipma:functionnames
41s
Update README for dune-built CodeHawk CI_mypy #442: Commit 7954122 pushed by sipma
31s master
master
31s
initial support for sourcemap CI_mypy #441: Commit eaed5a5 pushed by sipma
1m 33s master
master
1m 33s
Liftingsupport CI_mypy #440: Pull request #222 opened by sipma
33s sipma:liftingsupport
sipma:liftingsupport
33s
Update README for dune-built CodeHawk CI_mypy #439: Pull request #221 synchronize by brk
46s brk:standardize-on-dune
brk:standardize-on-dune
46s
Update README for dune-built CodeHawk CI_mypy #438: Pull request #221 synchronize by brk
28s brk:standardize-on-dune
brk:standardize-on-dune
28s
Update README for dune-built CodeHawk CI_mypy #437: Pull request #221 synchronize by brk
29s brk:standardize-on-dune
brk:standardize-on-dune
29s
Update README for dune-built CodeHawk CI_mypy #436: Pull request #221 opened by brk
39s brk:standardize-on-dune
brk:standardize-on-dune
39s
ARM:ASTI: add lifting support for LDMIB CI_mypy #435: Commit 12b16c3 pushed by sipma
31s master
master
31s
ARM:ASTI: add lifting support for LDMIB CI_mypy #434: Pull request #219 opened by sipma
28s sipma:liftingsupport
sipma:liftingsupport
28s
update summaries fail to remove __assert_fail summary CI_mypy #433: Commit 6873856 pushed by sipma
30s master
master
30s
Update summaries fail to remove __assert_fail summary CI_mypy #432: Pull request #213 opened by waskyo
46s waskyo:remove_assert_fail_summary
waskyo:remove_assert_fail_summary
46s
REL: replace print stmts with warnings CI_mypy #431: Commit caf94a0 pushed by sipma
1m 6s master
master
1m 6s
Liftingsupport CI_mypy #430: Pull request #212 opened by sipma
42s sipma:liftingsupport
sipma:liftingsupport
42s
ASTI: more lifting support CI_mypy #429: Commit 573a97d pushed by sipma
34s master
master
34s
Liftingsupport CI_mypy #428: Pull request #211 opened by sipma
29s sipma:liftingsupport
sipma:liftingsupport
29s
GITHUB: upgrade mypy action to 22.04 CI_mypy #427: Commit 707c440 pushed by sipma
32s master
master
32s
Liftingsupport CI_mypy #426: Pull request #210 opened by sipma
32s sipma:liftingsupport
sipma:liftingsupport
32s