All workflows

Workflow runs

• Fuzzing

  completed successfully:
  Fuzzing#280:Scheduled
  main

  Oct 17, 20263m 30s
  More actions for workflow run 280

• Fuzzing

  completed successfully:
  Fuzzing#279:Scheduled
  main

  Oct 16, 20265m 48s
  More actions for workflow run 279

• fix(ci): make four gates able to fail on what they test

  completed successfully:
  CI#789:Pull request#432openedbyavrabe
  fix/429-426-gate-integrity

  Oct 16, 20261h 29m 9s
  More actions for workflow run 789

• fix(ci): make four gates able to fail on what they test

  completed successfully:
  Verification Gate#336:Pull request#432openedbyavrabe
  fix/429-426-gate-integrity

  Oct 16, 20261h 35m 20s
  More actions for workflow run 336

• fix(ci): make four gates able to fail on what they test

  completed successfully:
  Validate Shared Architecture#769:Pull request#432openedbyavrabe
  fix/429-426-gate-integrity

  Oct 16, 20261h 35m 6s
  More actions for workflow run 769

• ci: fail the integration job on optimizer errors (#427) (#428)

  completed successfully:
  CI#788:Commit32b8f82pushedbyavrabe
  main

  Oct 16, 20261h 21m 43s
  More actions for workflow run 788

• ci: fail the integration job on optimizer errors (#427) (#428)

  completed successfully:
  Validate Shared Architecture#768:Commit32b8f82pushedbyavrabe
  main

  Oct 16, 20261h 23m 33s
  More actions for workflow run 768

• fix(test): serialise the stats tests that share the global revert map

  completed successfully:
  Validate Shared Architecture#767:Pull request#431openedbyavrabe
  fix/stats-test-race

  Oct 15, 20262h 32m 49s
  More actions for workflow run 767

• fix(test): serialise the stats tests that share the global revert map

  completed successfully:
  CI#787:Pull request#431openedbyavrabe
  fix/stats-test-race

  Oct 15, 20261h 13m 56s
  More actions for workflow run 787

• fix(test): serialise the stats tests that share the global revert map

  completed successfully:
  Verification Gate#335:Pull request#431openedbyavrabe
  fix/stats-test-race

  Oct 15, 20261h 14m 50s
  More actions for workflow run 335

• chore(rivet): cut v1.5.0 to its verified scope; move the 8 drafts to v1.6.0

  completed successfully:
  Validate Shared Architecture#766:Pull request#430openedbyavrabe
  chore/v150-scope-narrow

  Oct 15, 20261h 44m 55s
  More actions for workflow run 766

• chore(rivet): cut v1.5.0 to its verified scope; move the 8 drafts to v1.6.0

  completed successfully:
  Verification Gate#334:Pull request#430openedbyavrabe
  chore/v150-scope-narrow

  Oct 15, 202648m 23s
  More actions for workflow run 334

• chore(rivet): cut v1.5.0 to its verified scope; move the 8 drafts to v1.6.0

  completed successfully:
  CI#786:Pull request#430openedbyavrabe
  chore/v150-scope-narrow

  Oct 15, 20261h 44m 24s
  More actions for workflow run 786

• Make the optimizer integration check fail on errors

  completed successfully:
  CI#785:Pull request#428synchronizebydannyward630
  dannyward630:fix/issue-427-integration-gate

  Oct 15, 20261h 19m 11s
  More actions for workflow run 785

• Make the optimizer integration check fail on errors

  completed successfully:
  Validate Shared Architecture#765:Pull request#428synchronizebydannyward630
  dannyward630:fix/issue-427-integration-gate

  Oct 15, 20261h 5m 14s
  More actions for workflow run 765

• Make the optimizer integration check fail on errors

  completed successfully:
  Verification Gate#333:Pull request#428synchronizebydannyward630
  dannyward630:fix/issue-427-integration-gate

  Oct 15, 202655m 30s
  More actions for workflow run 333

• Make the optimizer integration check fail on errors

  cancelled:
  Validate Shared Architecture#764:Pull request#428openedbydannyward630
  dannyward630:fix/issue-427-integration-gate

  Oct 15, 20263m 26s
  More actions for workflow run 764

• Make the optimizer integration check fail on errors

  cancelled:
  CI#784:Pull request#428openedbydannyward630
  dannyward630:fix/issue-427-integration-gate

  Oct 15, 20263m 32s
  More actions for workflow run 784

• Make the optimizer integration check fail on errors

  cancelled:
  Verification Gate#332:Pull request#428openedbydannyward630
  dannyward630:fix/issue-427-integration-gate

  Oct 15, 20262m 13s
  More actions for workflow run 332

• feat(verify): #313 slice 3 — route pure-call obligations as uninterpr…

  completed successfully:
  Validate Shared Architecture#763:Commit3e8ebb8pushedbyavrabe
  main

  Oct 15, 20263h 17m 59s
  More actions for workflow run 763

• feat(verify): #313 slice 3 — route pure-call obligations as uninterpr…

  completed successfully:
  CI#783:Commit3e8ebb8pushedbyavrabe
  main

  Oct 15, 20262h 12m 46s
  More actions for workflow run 783

• feat(verify): #313 slice 3 — route pure-call obligations as uninterpreted functions

  completed successfully:
  Verification Gate#331:Pull request#425synchronizebyavrabe
  feat/313-tier2-slice3-uf

  Oct 15, 20261h 3m 30s
  More actions for workflow run 331

• feat(verify): #313 slice 3 — route pure-call obligations as uninterpreted functions

  completed successfully:
  Validate Shared Architecture#762:Pull request#425synchronizebyavrabe
  feat/313-tier2-slice3-uf

  Oct 15, 20262h 50m 33s
  More actions for workflow run 762

• feat(verify): #313 slice 3 — route pure-call obligations as uninterpreted functions

  failed:
  CI#782:Pull request#425synchronizebyavrabe
  feat/313-tier2-slice3-uf

  Oct 15, 20262h 32m 11s
  More actions for workflow run 782

• chore(deps): bump arbitrary from 1.4.2 to 1.5.0 in /fuzz (#419)

  cancelled:
  Validate Shared Architecture#761:Commita8fda0cpushedbytemper-pulseengine[bot]Bot
  main

  Oct 15, 20262h 53m 35s
  More actions for workflow run 761