All workflows

Workflow runs

• fix: only skip the crates CoreModels provides under -core-models-lib

  requires action with the application:
  .github/workflows/ci.yml#211:Pull request#93openedbyr-near
  r-near:fix-core-models-skip

  Oct 28, 2026Action required
  More actions for workflow run 211

• Release

  completed successfully:
  Release#190:Scheduled
  dev

  Oct 28, 202627m 10s
  More actions for workflow run 190

• Bump the charon pin to 45bab24cd

  failed:
  .github/workflows/ci.yml#210:Pull request#91openedbyclementblaudeau
  bump-charon-pin

  Oct 27, 202647s
  More actions for workflow run 210

• test: cross testing with hax (aeneas side)

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

  Oct 27, 202651s
  More actions for workflow run 209

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

  failed:
  .github/workflows/ci.yml#208:Pull request#82synchronizebyclementblaudeau
  fix-spec-names-clashes

  Oct 27, 202641s
  More actions for workflow run 208

• fix: keep supertrait parameters in specs

  failed:
  .github/workflows/ci.yml#207:Pull request#80synchronizebyclementblaudeau
  fix-spec-supertrait-arg

  Oct 27, 20261m 50s
  More actions for workflow run 207

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

  failed:
  .github/workflows/ci.yml#206:Pull request#79synchronizebyclementblaudeau
  fix-unit-arg-specs

  Oct 27, 20261m 50s
  More actions for workflow run 206

• fix: keep supertrait parameters in specs

  cancelled:
  .github/workflows/ci.yml#205:Pull request#80synchronizebyclementblaudeau
  fix-spec-supertrait-arg

  Oct 27, 20263s
  More actions for workflow run 205

• test: cross testing with hax (aeneas side)

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

  Oct 27, 20263s
  More actions for workflow run 204

• feat: trait-level specs

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

  Oct 27, 20261m 48s
  More actions for workflow run 203

• refactor: remove the step backend for proof-obligations generation

  failed:
  .github/workflows/ci.yml#202:Pull request#76synchronizebyclementblaudeau
  remove-step-backend

  Oct 27, 202653s
  More actions for workflow run 202

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

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

  Oct 27, 202646s
  More actions for workflow run 201

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

  cancelled:
  .github/workflows/ci.yml#200:Pull request#79synchronizebyclementblaudeau
  fix-unit-arg-specs

  Oct 27, 20264s
  More actions for workflow run 200

• feat: trait-level specs

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

  Oct 27, 202643s
  More actions for workflow run 199

• fix: keep supertrait parameters in specs

  failed:
  .github/workflows/ci.yml#198:Pull request#80synchronizebyclementblaudeau
  fix-spec-supertrait-arg

  Oct 27, 202639s
  More actions for workflow run 198

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

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

  Oct 27, 202638s
  More actions for workflow run 197

• test: cross testing with hax (aeneas side)

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

  Oct 27, 202641s
  More actions for workflow run 195

• fix: keep supertrait parameters in specs

  failed:
  .github/workflows/ci.yml#196:Pull request#80synchronizebyclementblaudeau
  fix-spec-supertrait-arg

  Oct 27, 202644s
  More actions for workflow run 196

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

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

  Oct 27, 20263s
  More actions for workflow run 194

• feat: trait-level specs

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

  Oct 27, 202650s
  More actions for workflow run 193

• refactor: remove the step backend for proof-obligations generation

  failed:
  .github/workflows/ci.yml#192:Pull request#76synchronizebyclementblaudeau
  remove-step-backend

  Oct 27, 202654s
  More actions for workflow run 192

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

  failed:
  .github/workflows/ci.yml#191:Pull request#79synchronizebyclementblaudeau
  fix-unit-arg-specs

  Oct 27, 202652s
  More actions for workflow run 191

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

  cancelled:
  .github/workflows/ci.yml#189:Pull request#79synchronizebyclementblaudeau
  fix-unit-arg-specs

  Oct 27, 20262s
  More actions for workflow run 189

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

  failed:
  .github/workflows/ci.yml#190:Pull request#82synchronizebyclementblaudeau
  fix-spec-names-clashes

  Oct 27, 202644s
  More actions for workflow run 190

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

  cancelled:
  .github/workflows/ci.yml#188:Pull request#82synchronizebyclementblaudeau
  fix-spec-names-clashes

  Oct 27, 20262s
  More actions for workflow run 188