All workflows

Workflow runs

• Release

  completed successfully:
  Release#200:Scheduled
  dev

  Nov 6, 202613m 32s
  More actions for workflow run 200

• Release

  completed successfully:
  Release#199:Scheduled
  dev

  Nov 5, 202618m 51s
  More actions for workflow run 199

• Release

  completed successfully:
  Release#198:Scheduled
  dev

  Nov 4, 202633m 41s
  More actions for workflow run 198

• Dev 2026 11 02 rebased

  completed successfully:
  .github/workflows/ci.yml#226:Pull request#96reopenedbyclementblaudeau
  dev-2026-11-02-rebased

  Nov 3, 202615m 46s
  More actions for workflow run 226

• Release

  completed successfully:
  Release#197:Manually runbyclementblaudeau
  dev-2026-11-02-rebased

  Nov 3, 202637m 42s
  More actions for workflow run 197

• Release

  completed successfully:
  Release#196:Scheduled
  dev

  Nov 3, 202627m 40s
  More actions for workflow run 196

• ci: check that every commit belongs to a documented fork patch

  completed successfully:
  .github/workflows/ci.yml#225:Pull request#95synchronizebyclementblaudeau
  ci-fork-patch-check

  Nov 2, 202653m 52s
  More actions for workflow run 225

• ci: check that every commit belongs to a documented fork patch

  completed successfully:
  fork patches#3:Pull request#95synchronizebyclementblaudeau
  ci-fork-patch-check

  Nov 2, 20263m 15s
  More actions for workflow run 3

• ci: check that every commit belongs to a documented fork patch

  cancelled:
  .github/workflows/ci.yml#224:Pull request#95synchronizebyclementblaudeau
  ci-fork-patch-check

  Nov 2, 20264m 38s
  More actions for workflow run 224

• ci: check that every commit belongs to a documented fork patch

  cancelled:
  fork patches#2:Pull request#95synchronizebyclementblaudeau
  ci-fork-patch-check

  Nov 2, 20264m 35s
  More actions for workflow run 2

• ci: check that every commit belongs to a documented fork patch

  cancelled:
  fork patches#1:Pull request#95openedbyclementblaudeau
  ci-fork-patch-check

  Nov 2, 202656s
  More actions for workflow run 1

• ci: check that every commit belongs to a documented fork patch

  cancelled:
  .github/workflows/ci.yml#223:Pull request#95openedbyclementblaudeau
  ci-fork-patch-check

  Nov 2, 202656s
  More actions for workflow run 223

• Release

  completed successfully:
  Release#195:Scheduled
  dev

  Nov 2, 202625m 27s
  More actions for workflow run 195

• Release

  completed successfully:
  Release#194:Scheduled
  dev

  Nov 1, 202625m 44s
  More actions for workflow run 194

• Release

  completed successfully:
  Release#193:Scheduled
  dev

  Oct 31, 202625m 37s
  More actions for workflow run 193

• Release

  completed successfully:
  Release#192:Scheduled
  dev

  Oct 30, 202630m 36s
  More actions for workflow run 192

• Release

  completed successfully:
  Release#191:Scheduled
  dev

  Oct 29, 202629m 44s
  More actions for workflow run 191

• fix: keep supertrait parameters in specs

  completed successfully:
  .github/workflows/ci.yml#222:Pull request#80synchronizebyclementblaudeau
  fix-spec-supertrait-arg

  Oct 29, 202635m 52s
  More actions for workflow run 222

• fix: [core-models-lib] keep type parameters that are not Allocator

  failed:
  .github/workflows/ci.yml#221:Pull request#77synchronizebyclementblaudeau
  fix-core-models-lib-drop-size

  Oct 29, 202624m 26s
  More actions for workflow run 221

• feat: trait-level specs

  completed successfully:
  .github/workflows/ci.yml#220:Pull request#85synchronizebyclementblaudeau
  add-trait-specs

  Oct 29, 202638m 41s
  More actions for workflow run 220

• test: cross testing with hax (aeneas side)

  completed successfully:
  .github/workflows/ci.yml#219:Pull request#83synchronizebyclementblaudeau
  test-hax-endtoend

  Oct 29, 202638m 34s
  More actions for workflow run 219

• fix: check for clashes with pre/post/specs

  completed successfully:
  .github/workflows/ci.yml#218:Pull request#82synchronizebyclementblaudeau
  fix-spec-names-clashes

  Oct 29, 202626m 7s
  More actions for workflow run 218

• test: cross testing with hax (aeneas side)

  cancelled:
  .github/workflows/ci.yml#217:Pull request#83synchronizebyclementblaudeau
  test-hax-endtoend

  Oct 29, 20262s
  More actions for workflow run 217

• feat: trait-level specs

  cancelled:
  .github/workflows/ci.yml#216:Pull request#85synchronizebyclementblaudeau
  add-trait-specs

  Oct 29, 20262s
  More actions for workflow run 216

• fix: keep unit argument for specs instead of dropping them

  completed successfully:
  .github/workflows/ci.yml#215:Pull request#79synchronizebyclementblaudeau
  fix-unit-arg-specs

  Oct 29, 202631m 35s
  More actions for workflow run 215