Closed anssiko closed 1 year ago
@himorin please investigate and fix this specberus failure if reproducible: https://labs.w3.org/echidna/api/status?id=a58eb2e3-0104-4499-b9c8-b41296278008
FYI @kenchris CI deploy is broken until specberus failure is fixed.
@himorin please investigate and fix this specberus failure if reproducible: https://labs.w3.org/echidna/api/status?id=a58eb2e3-0104-4499-b9c8-b41296278008
thanks to Denis (system team), it's escalated to https://github.com/w3c/respec/pull/4463
@anssiko systems updated, and published properly now https://www.w3.org/TR/2023/WD-compute-pressure-20230626/
Thanks @himorin!
Credits to Ehsan Toreini for his related research and suggestions
Preview | Diff