Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit history

Commits on Jul 8, 2026

• Merge branch 'main' into claude/2026-sota-benchmark-xyp1zh

  jesusvilela

  authored
  e4a1a8d

  Copy full SHA for e4a1a8d

• Configure Kissat before CI build

  jesusvilela

  committed
  bc6ccfe

  Copy full SHA for bc6ccfe

• Build certification tools from source in CI

  jesusvilela

  committed
  310b5ea

  Copy full SHA for 310b5ea

• Split CI into fast tests and hard certification lane

  jesusvilela

  committed
  716cb5c

  Copy full SHA for 716cb5c

• Publication-hardening pass (external review)

  Show description for 8b0a4b3
  claude

  committed
  8b0a4b3

  Copy full SHA for 8b0a4b3

Commits on Jul 6, 2026

• ci: add GitHub Actions to run the full test suite (the standing review ask)

  Show description for 9631032
  claude

  committed
  9631032

  Copy full SHA for 9631032

Commits on Sep 12, 2025

• Initial commit

  jesusvilela

  committed
  f26e6e0

  Copy full SHA for f26e6e0

Loading