Skip to content

Actions: IntelLabs/isa-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 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
Fix free variable calculation pull-request #166: Pull request #152 opened by alastairreid
24m 31s areid-fix-freevars
areid-fix-freevars
24m 31s
FFI: finish implementing .isa ffi features pull-request #165: Pull request #147 synchronize by alastairreid
15m 39s areid/fix-ffi
areid/fix-ffi
15m 39s
Tcheck: treat trivially false range checks as errors pull-request #164: Pull request #151 opened by alastairreid
26m 46s areid-report-failing-asserts
areid-report-failing-asserts
26m 46s
FFI: fix return of large bitvectors pull-request #163: Pull request #150 opened by alastairreid
24m 7s areid-fix-ffi-bitvectors
areid-fix-ffi-bitvectors
24m 7s
Areid/hex is bits pull-request #162: Pull request #148 synchronize by alastairreid
22m 48s areid/hex-is-bits
areid/hex-is-bits
22m 48s
Areid/hex is bits pull-request #161: Pull request #148 synchronize by alastairreid
21m 19s areid/hex-is-bits
areid/hex-is-bits
21m 19s
Areid/hex is bits pull-request #160: Pull request #148 synchronize by alastairreid
22m 8s areid/hex-is-bits
areid/hex-is-bits
22m 8s
Fix folding of bitvector slices pull-request #159: Pull request #149 opened by nikolaykosarev
23m 0s fold-slices
fold-slices
23m 0s
Areid/hex is bits pull-request #158: Pull request #148 opened by alastairreid
23m 8s areid/hex-is-bits
areid/hex-is-bits
23m 8s
FFI: finish implementing .isa ffi features pull-request #157: Pull request #147 opened by alastairreid
24m 52s areid/fix-ffi
areid/fix-ffi
24m 52s
Pretty-printing: enumerations should use braces not parentheses pull-request #156: Pull request #146 opened by alastairreid
24m 6s areid/pp_fix
areid/pp_fix
24m 6s
Improve lexing parsing error messages pull-request #155: Pull request #140 synchronize by alastairreid
25m 35s areid/fix-lexing-parsing-error-messages
areid/fix-lexing-parsing-error-messages
25m 35s
Fix array support (-Oarray optimization) pull-request #154: Pull request #143 opened by alastairreid
28m 49s areid/array-return
areid/array-return
28m 49s
Drop legacy syntax pull-request #153: Pull request #142 opened by alastairreid
25m 54s areid/drop-legacy-syntax
areid/drop-legacy-syntax
25m 54s
README: add missing cmake dependency pull-request #152: Pull request #141 opened by alastairreid
21m 59s areid/readme-patch
areid/readme-patch
21m 59s
Improve lexing parsing error messages pull-request #151: Pull request #140 opened by alastairreid
25m 59s areid/fix-lexing-parsing-error-messages
areid/fix-lexing-parsing-error-messages
25m 59s
Github caching pull-request #150: Pull request #139 synchronize by alastairreid
21m 18s areid/github-action2
areid/github-action2
21m 18s
Github caching pull-request #149: Pull request #139 synchronize by alastairreid
20m 37s areid/github-action2
areid/github-action2
20m 37s
Github caching pull-request #148: Commit c330456 pushed by alastairreid
Failure areid/github-action2
areid/github-action2
Failure
Areid/cleanup tests pull-request #147: Pull request #136 synchronize by alastairreid
25m 1s areid/cleanup-tests
areid/cleanup-tests
25m 1s
Areid/cleanup tests pull-request #146: Pull request #136 synchronize by alastairreid
27m 50s areid/cleanup-tests
areid/cleanup-tests
27m 50s
Areid/cleanup tests pull-request #145: Pull request #136 synchronize by alastairreid
4m 15s areid/cleanup-tests
areid/cleanup-tests
4m 15s
Update (fix) GitHub action pull-request #144: Pull request #138 synchronize by alastairreid
29m 13s areid/github-action
areid/github-action
29m 13s
Update (fix) GitHub action pull-request #143: Pull request #138 synchronize by alastairreid
5m 4s areid/github-action
areid/github-action
5m 4s
Update (fix) GitHub action pull-request #142: Pull request #138 synchronize by alastairreid
1m 18s areid/github-action
areid/github-action
1m 18s