pretext

v0.0.26

Tiny Unicode-aware pretty-printing documents

Repository Open docs Open in playground

Installs

Downloads over the last 30 days, stacked by release.

Total installs

Downloads over the last 30 days

v0.0.260

v0.0.250

v0.0.240

v0.0.230

v0.0.220

Package status

Submission, indexing, and post-publish processing milestones for this release.

Submitted

Apr 28, 10:21 PM

Indexed

Apr 28, 10:21 PM

Searchable

Apr 28, 10:21 PM

Docs ready

Pending

Completed

Pending

Submitted

Apr 28, 10:21 PM

Indexed

Apr 28, 10:21 PM

Searchable

Apr 28, 10:21 PM

Docs ready

Pending

Completed

Pending

Dependencies

Dependencies declared for this release.

Show 1 dependencies Expand

std *

std *

Dependents

Packages that currently depend on pretext.

No dependents Expand

No indexed dependents yet.

Recent activity

Latest publication, indexing, and post-publish pipeline events recorded for this package.

Open full activity

Show 12 recent events Expand

Apr 28, 10:52 PM Blocked

pretext 0.0.26 attempt 3 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:52:00 PM

Event

Blocked

Package

pretext

Version

0.0.26

Facts

attempt 3 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "blocked",
  "attempt_count": 3,
  "error": "error: Unknown argument: pretext"
}
```

Apr 28, 10:51 PM Docs failed

pretext 0.0.26 docs · exit 1 · 2 json · doc.package_generation_failed · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:51:58 PM
Event: Docs failed
Package: pretext
Version: 0.0.26

Summary

{"type":"doc.package_generation_failed","package":"pretext","version":"0.0.26","output_dir":"/workspace/_build/doc/pretext/0.0.26","error":"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…

Facts

docs exit 1 2 json doc.package_generation_failed artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "docs",
  "result_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 2,
  "non_json_stdout_count": 0,
  "last_json_event_type": "doc.package_generation_failed",
  "last_json_event": {
    "type": "doc.package_generation_failed",
    "package": "pretext",
    "version": "0.0.26",
    "output_dir": "/workspace/_build/doc/pretext/0.0.26",
    "error": "Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std."
  },
  "failure_summary": "{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…",
  "stdout_excerpt": "{\"type\":\"doc.package_generation_started\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\"}\n{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std.\"}"
}

Apr 28, 10:51 PM Build failed

pretext 0.0.26 build · exit 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:51:57 PM
Event: Build failed
Package: pretext
Version: 0.0.26

Summary

error: Unknown argument: pretext

Facts

build exit 1 artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "build",
  "result_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: pretext",
  "stdout_excerpt": "error: Unknown argument: pretext"
}

Apr 28, 10:51 PM Processing

pretext 0.0.26 attempt 3 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:51:47 PM

Event

Processing

Package

pretext

Version

0.0.26

Facts

attempt 3 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "processing",
  "attempt_count": 3
}
```

Apr 28, 10:41 PM Requeued

pretext 0.0.26 attempt 2 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:41:47 PM
Event: Requeued
Package: pretext
Version: 0.0.26

Facts

attempt 2 artifact 32d82f4ba7f4

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "pending",
  "attempt_count": 2,
  "next_attempt_at": "2026-04-28T22:46:47.918Z",
  "error": "error: Unknown argument: pretext"
}

Apr 28, 10:41 PM Docs failed

pretext 0.0.26 docs · exit 1 · 2 json · doc.package_generation_failed · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:41:46 PM
Event: Docs failed
Package: pretext
Version: 0.0.26

Summary

{"type":"doc.package_generation_failed","package":"pretext","version":"0.0.26","output_dir":"/workspace/_build/doc/pretext/0.0.26","error":"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…

Facts

docs exit 1 2 json doc.package_generation_failed artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "docs",
  "result_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 112,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 2,
  "non_json_stdout_count": 0,
  "last_json_event_type": "doc.package_generation_failed",
  "last_json_event": {
    "type": "doc.package_generation_failed",
    "package": "pretext",
    "version": "0.0.26",
    "output_dir": "/workspace/_build/doc/pretext/0.0.26",
    "error": "Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std."
  },
  "failure_summary": "{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…",
  "stdout_excerpt": "{\"type\":\"doc.package_generation_started\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\"}\n{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std.\"}"
}

Apr 28, 10:41 PM Build failed

pretext 0.0.26 build · exit 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:41:44 PM
Event: Build failed
Package: pretext
Version: 0.0.26

Summary

error: Unknown argument: pretext

Facts

build exit 1 artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "build",
  "result_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 112,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: pretext",
  "stdout_excerpt": "error: Unknown argument: pretext"
}

Apr 28, 10:41 PM Processing

pretext 0.0.26 attempt 2 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:41:33 PM

Event

Processing

Package

pretext

Version

0.0.26

Facts

attempt 2 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "processing",
  "attempt_count": 2
}
```

Apr 28, 10:31 PM Requeued

pretext 0.0.26 attempt 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:31:34 PM
Event: Requeued
Package: pretext
Version: 0.0.26

Facts

attempt 1 artifact 32d82f4ba7f4

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "pending",
  "attempt_count": 1,
  "next_attempt_at": "2026-04-28T22:36:34.032Z",
  "error": "error: Unknown argument: pretext"
}

Apr 28, 10:31 PM Docs failed

pretext 0.0.26 docs · exit 1 · 2 json · doc.package_generation_failed · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:31:32 PM
Event: Docs failed
Package: pretext
Version: 0.0.26

Summary

{"type":"doc.package_generation_failed","package":"pretext","version":"0.0.26","output_dir":"/workspace/_build/doc/pretext/0.0.26","error":"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…

Facts

docs exit 1 2 json doc.package_generation_failed artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "docs",
  "result_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 2,
  "non_json_stdout_count": 0,
  "last_json_event_type": "doc.package_generation_failed",
  "last_json_event": {
    "type": "doc.package_generation_failed",
    "package": "pretext",
    "version": "0.0.26",
    "output_dir": "/workspace/_build/doc/pretext/0.0.26",
    "error": "Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std."
  },
  "failure_summary": "{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…",
  "stdout_excerpt": "{\"type\":\"doc.package_generation_started\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\"}\n{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std.\"}"
}

Apr 28, 10:31 PM Build failed

pretext 0.0.26 build · exit 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:31:31 PM
Event: Build failed
Package: pretext
Version: 0.0.26

Summary

error: Unknown argument: pretext

Facts

build exit 1 artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "build",
  "result_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: pretext",
  "stdout_excerpt": "error: Unknown argument: pretext"
}

Apr 28, 10:31 PM Processing

pretext 0.0.26 attempt 1 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:31:20 PM

Event

Processing

Package

pretext

Version

0.0.26

Facts

attempt 1 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "processing",
  "attempt_count": 1
}
```

Apr 28, 10:52 PM Blocked

pretext 0.0.26 attempt 3 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:52:00 PM

Event

Blocked

Package

pretext

Version

0.0.26

Facts

attempt 3 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "blocked",
  "attempt_count": 3,
  "error": "error: Unknown argument: pretext"
}
```

Apr 28, 10:51 PM Docs failed

pretext 0.0.26 docs · exit 1 · 2 json · doc.package_generation_failed · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:51:58 PM
Event: Docs failed
Package: pretext
Version: 0.0.26

Summary

{"type":"doc.package_generation_failed","package":"pretext","version":"0.0.26","output_dir":"/workspace/_build/doc/pretext/0.0.26","error":"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…

Facts

docs exit 1 2 json doc.package_generation_failed artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "docs",
  "result_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 2,
  "non_json_stdout_count": 0,
  "last_json_event_type": "doc.package_generation_failed",
  "last_json_event": {
    "type": "doc.package_generation_failed",
    "package": "pretext",
    "version": "0.0.26",
    "output_dir": "/workspace/_build/doc/pretext/0.0.26",
    "error": "Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std."
  },
  "failure_summary": "{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…",
  "stdout_excerpt": "{\"type\":\"doc.package_generation_started\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\"}\n{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std.\"}"
}

Apr 28, 10:51 PM Build failed

pretext 0.0.26 build · exit 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:51:57 PM
Event: Build failed
Package: pretext
Version: 0.0.26

Summary

error: Unknown argument: pretext

Facts

build exit 1 artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "build",
  "result_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: pretext",
  "stdout_excerpt": "error: Unknown argument: pretext"
}

Apr 28, 10:51 PM Processing

pretext 0.0.26 attempt 3 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:51:47 PM

Event

Processing

Package

pretext

Version

0.0.26

Facts

attempt 3 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "processing",
  "attempt_count": 3
}
```

Apr 28, 10:41 PM Requeued

pretext 0.0.26 attempt 2 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:41:47 PM
Event: Requeued
Package: pretext
Version: 0.0.26

Facts

attempt 2 artifact 32d82f4ba7f4

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "pending",
  "attempt_count": 2,
  "next_attempt_at": "2026-04-28T22:46:47.918Z",
  "error": "error: Unknown argument: pretext"
}

Apr 28, 10:41 PM Docs failed

pretext 0.0.26 docs · exit 1 · 2 json · doc.package_generation_failed · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:41:46 PM
Event: Docs failed
Package: pretext
Version: 0.0.26

Summary

{"type":"doc.package_generation_failed","package":"pretext","version":"0.0.26","output_dir":"/workspace/_build/doc/pretext/0.0.26","error":"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…

Facts

docs exit 1 2 json doc.package_generation_failed artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "docs",
  "result_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 112,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 2,
  "non_json_stdout_count": 0,
  "last_json_event_type": "doc.package_generation_failed",
  "last_json_event": {
    "type": "doc.package_generation_failed",
    "package": "pretext",
    "version": "0.0.26",
    "output_dir": "/workspace/_build/doc/pretext/0.0.26",
    "error": "Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std."
  },
  "failure_summary": "{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…",
  "stdout_excerpt": "{\"type\":\"doc.package_generation_started\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\"}\n{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std.\"}"
}

Apr 28, 10:41 PM Build failed

pretext 0.0.26 build · exit 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:41:44 PM
Event: Build failed
Package: pretext
Version: 0.0.26

Summary

error: Unknown argument: pretext

Facts

build exit 1 artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "build",
  "result_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 112,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: pretext",
  "stdout_excerpt": "error: Unknown argument: pretext"
}

Apr 28, 10:41 PM Processing

pretext 0.0.26 attempt 2 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:41:33 PM

Event

Processing

Package

pretext

Version

0.0.26

Facts

attempt 2 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "processing",
  "attempt_count": 2
}
```

Apr 28, 10:31 PM Requeued

pretext 0.0.26 attempt 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:31:34 PM
Event: Requeued
Package: pretext
Version: 0.0.26

Facts

attempt 1 artifact 32d82f4ba7f4

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "pending",
  "attempt_count": 1,
  "next_attempt_at": "2026-04-28T22:36:34.032Z",
  "error": "error: Unknown argument: pretext"
}

Apr 28, 10:31 PM Docs failed

pretext 0.0.26 docs · exit 1 · 2 json · doc.package_generation_failed · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:31:32 PM
Event: Docs failed
Package: pretext
Version: 0.0.26

Summary

{"type":"doc.package_generation_failed","package":"pretext","version":"0.0.26","output_dir":"/workspace/_build/doc/pretext/0.0.26","error":"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…

Facts

docs exit 1 2 json doc.package_generation_failed artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "docs",
  "result_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/docs/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/command.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 2,
  "non_json_stdout_count": 0,
  "last_json_event_type": "doc.package_generation_failed",
  "last_json_event": {
    "type": "doc.package_generation_failed",
    "package": "pretext",
    "version": "0.0.26",
    "output_dir": "/workspace/_build/doc/pretext/0.0.26",
    "error": "Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std."
  },
  "failure_summary": "{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but t…",
  "stdout_excerpt": "{\"type\":\"doc.package_generation_started\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\"}\n{\"type\":\"doc.package_generation_failed\",\"package\":\"pretext\",\"version\":\"0.0.26\",\"output_dir\":\"/workspace/_build/doc/pretext/0.0.26\",\"error\":\"Package 'pretext' source '/workspace/packages/pretext/src/Pretext.ml' depends on module 'IO', but that module is not provided by this package or one of its direct dependencies. Allowed package modules: Pretext, Std.\"}"
}

Apr 28, 10:31 PM Build failed

pretext 0.0.26 build · exit 1 · artifact 32d82f4ba7f4

Details

When: Apr 28, 2026, 10:31:31 PM
Event: Build failed
Package: pretext
Version: 0.0.26

Summary

error: Unknown argument: pretext

Facts

build exit 1 artifact 32d82f4ba7f4

Artifacts

Result key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json

Logs key

pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log

Payload

{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "run_kind": "build",
  "result_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/result.json",
  "logs_key": "pipelines/builds/pretext/0.0.26/32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.26 (build 5948552e3334)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 57,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.26 (build 5948552e3334)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: pretext",
  "stdout_excerpt": "error: Unknown argument: pretext"
}

Apr 28, 10:31 PM Processing

pretext 0.0.26 attempt 1 · artifact 32d82f4ba7f4

Details Hide
When

Apr 28, 2026, 10:31:20 PM

Event

Processing

Package

pretext

Version

0.0.26

Facts

attempt 1 artifact 32d82f4ba7f4
Payload
```
{
  "artifact_sha256": "32d82f4ba7f48d74cde5945f887cadb077e532efe4b104ed70baff1eb8bcab78",
  "status": "processing",
  "attempt_count": 1
}
```