Fix the generation of mem with 1 bit of write mask #1
eyckrun-tests-2_13.yml
on: push
run-test
/
compile
5m 29s
run-test
/
idslplugin-test
46s
run-test
/
idslpayload-test
45s
run-test
/
core-test
6m 22s
run-test
/
core-formal
1m 14s
run-test
/
core-psl
1m 15s
run-test
/
sim-test
44s
run-test
/
tester-test
12m 7s
run-test
/
tester-formal
10m 15s
run-test
/
tester-psl
12m 25s
run-test
/
lib-test
13m 37s
run-test
/
lib-formal
1m 2s
run-test
/
lib-psl
1m 1s
Annotations
13 warnings
|
run-test / compile
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / idslplugin-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / core-formal
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / sim-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / idslpayload-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / core-psl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / lib-psl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / lib-formal
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / core-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / tester-formal
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / tester-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / tester-psl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
run-test / lib-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|