kernelci.org DNS record issue

We're experiencing some issues while transferring DNS records for the kernelci.org domain. Please bear with us while we're actively working on restoring them.

Some test results are likely to be lost due to this, in which case we can resubmit some branches to be tested again if important missing results are needed.

Apologies for the inconvenience.

Best wishes, Guillaume