Merge pull request #30 from iritur/iritur/e2-the-store #79
dimmusci.yml
on: push
environment tag
5s
Matrix: image
Matrix: package
Matrix: simulation
Matrix: trace
policy checks
53s
tests (x86-64, total store order)
1m 42s
tests (AArch64, weak memory)
1m 40s
coverage instrumentation
36s
kernel boots
4m 8s
the hostile peer
1m 20s
the entry fuzzer and its coverage
56s
the ring under Miri
1m 27s
claims registry
51s
dependency policy
41s
Matrix: litmus
the content address check
25s
the workload reproduction check
2m 10s
the reproduction check
2m 2s
Annotations
14 warnings
|
environment image (arm64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/build-push-action@v6, docker/login-action@v3, docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
environment image (amd64)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/build-push-action@v6, docker/login-action@v3, docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
environment manifest
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/login-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coverage instrumentation
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
package address (runner a)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
package address (runner b)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
the entry fuzzer and its coverage
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
the content address check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
simulated workload (runner b)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
simulated workload (runner a)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
execution trace (runner a)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
execution trace (runner b)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
the workload reproduction check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
the reproduction check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coverage-summary
|
303 Bytes |
sha256:99f408bdbb794b174d4fbe7cb817399e1dd642a35bcf2402c5086ef0f21ca503
|
|
|
entry-corpus
|
3.69 KB |
sha256:398fdd7c9aacddb2abb2492f2cf945b0ec90367ec55e355202c5e6a55926ee63
|
|
|
iritur~f~2HQNN0.dockerbuild
|
65.4 KB |
sha256:1f9704cfda5f3d9de89dae54092f19b8cf9f7f1c6e372ecca9a1a32a067e8ace
|
|
|
iritur~f~45HUMP.dockerbuild
|
61.6 KB |
sha256:f657e68f0936c9e0aea7a92a7fd30ca8ac3e26dc462203a55677c592dc571704
|
|
|
iritur~f~LBXR1R.dockerbuild
|
66.3 KB |
sha256:6d43558fe7dd63cd95355c56d833d5579e5778c7c12f80b846b7bfd8b2769288
|
|
|
iritur~f~S1SVT3.dockerbuild
|
60.3 KB |
sha256:053890ab36a1fb67f37f90918a2cad2a396146037c00e1e909578a63dd6acbdb
|
|
|
measurement-history
|
252 Bytes |
sha256:53f75bfec912e4002a02c7c8687ceb5c73ae0c3e5939c5f443cd1201a0c727e0
|
|
|
package-a
|
202 Bytes |
sha256:50732f023d5a6a6617109b154f20603884009de5a9b0c31b8c3bd745da39b2b6
|
|
|
package-b
|
202 Bytes |
sha256:08f31cdaea74e229b7a51714cffd0cefd7e91448e66af1235470361538144264
|
|
|
sim-a
|
153 Bytes |
sha256:6b8f669e03e5283dca7c6b253032f1277a4cbdf8538279f21934e73844ce11b0
|
|
|
sim-b
|
153 Bytes |
sha256:858d4f4cf82a321699fea419a4a769a5ab29d0c0a90382751983f8bedc15051e
|
|
|
trace-a
|
309 Bytes |
sha256:f8610bc8c3e88801d7e9a8c8610d54b7fb82a00ae12df269de5a66624866ddad
|
|
|
trace-b
|
309 Bytes |
sha256:6b0ec17b3ab21c3c463a99dcda305774e52c3210a94e6922631da9b1ecc17829
|
|