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 tests to use Bits::Signed for 128-bit extremes pull-request #178: Pull request #154 synchronize by nikolaykosarev
17m 1s nkosarev/tests-with-extremes
nkosarev/tests-with-extremes
17m 1s
Fix tests to use Bits::Signed for 128-bit extremes pull-request #177: Pull request #154 opened by nikolaykosarev
17m 49s nkosarev/tests-with-extremes
nkosarev/tests-with-extremes
17m 49s
pages build and deployment pages-build-deployment #33: by alastairreid
33s gh-pages
gh-pages
33s
pages build and deployment pages-build-deployment #32: by alastairreid
40s gh-pages
gh-pages
40s
pages build and deployment pages-build-deployment #31: by alastairreid
44s gh-pages
gh-pages
44s
pages build and deployment pages-build-deployment #30: by alastairreid
35s gh-pages
gh-pages
35s
pages build and deployment pages-build-deployment #29: by alastairreid
51s gh-pages
gh-pages
51s
pages build and deployment pages-build-deployment #28: by alastairreid
36s gh-pages
gh-pages
36s
pages build and deployment pages-build-deployment #27: by alastairreid
37s gh-pages
gh-pages
37s
pages build and deployment pages-build-deployment #26: by alastairreid
44s gh-pages
gh-pages
44s
Fix array support (-Oarray optimization) pull-request #176: Pull request #143 synchronize by alastairreid
24m 42s areid/array-return
areid/array-return
24m 42s
FFI: finish implementing .isa ffi features pull-request #175: Pull request #147 synchronize by alastairreid
21m 36s areid/fix-ffi
areid/fix-ffi
21m 36s
Github workflow: fix ocamlc version (5.4.1) pull-request #174: Pull request #153 opened by alastairreid
26m 22s areid-update-ocamlc-version-5.4.1
areid-update-ocamlc-version-5.4.1
26m 22s
Fix array support (-Oarray optimization) pull-request #173: Pull request #143 synchronize by alastairreid
2m 36s areid/array-return
areid/array-return
2m 36s
Fix array support (-Oarray optimization) pull-request #172: Pull request #143 synchronize by alastairreid
2m 17s areid/array-return
areid/array-return
2m 17s
FFI: finish implementing .isa ffi features pull-request #171: Pull request #147 synchronize by alastairreid
2m 21s areid/fix-ffi
areid/fix-ffi
2m 21s
FFI: finish implementing .isa ffi features pull-request #170: Pull request #147 synchronize by alastairreid
2m 10s areid/fix-ffi
areid/fix-ffi
2m 10s
FFI: fix return of large bitvectors pull-request #169: Pull request #150 synchronize by alastairreid
6m 14s areid-fix-ffi-bitvectors
areid-fix-ffi-bitvectors
6m 14s
Fix array support (-Oarray optimization) pull-request #168: Pull request #143 synchronize by alastairreid
6m 17s areid/array-return
areid/array-return
6m 17s
Fix array support (-Oarray optimization) pull-request #167: Pull request #143 synchronize by alastairreid
6m 14s areid/array-return
areid/array-return
6m 14s
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