All workflows

Workflow runs

• CI

  completed successfully:
  CI#16:Scheduled
  dev

  Oct 19, 20268m 15s
  More actions for workflow run 16

• CI

  completed successfully:
  CI#15:Scheduled
  dev

  Oct 12, 20265m 34s
  More actions for workflow run 15

• Merge pull request #4 from blocksense-network/agents-to-dev-2026-10-09

  completed successfully:
  CI#14:Commit792f9e0pushedbyzah
  dev

  Oct 9, 20267m 40s
  More actions for workflow run 14

• Promote agents to dev (agents-to-dev-2026-10-09)

  completed successfully:
  CI#13:Pull request#4openedbyzah
  agents-to-dev-2026-10-09

  Oct 9, 20268m 7s
  More actions for workflow run 13

• CI

  completed successfully:
  CI#12:Scheduled
  main

  Oct 5, 20268m 25s
  More actions for workflow run 12

• CI

  completed successfully:
  CI#11:Scheduled
  main

  Sep 28, 20265m 6s
  More actions for workflow run 11

• build: activate the development environment through repro

  completed successfully:
  CI#10:Commitc05012cpushedbyzah
  main

  Sep 25, 20265m 26s
  More actions for workflow run 10

• CI

  completed successfully:
  CI#9:Scheduled
  main

  Sep 21, 20265m 26s
  More actions for workflow run 9

• CI

  completed successfully:
  CI#8:Scheduled
  main

  Sep 14, 20265m 18s
  More actions for workflow run 8

• CI

  completed successfully:
  CI#7:Scheduled
  main

  Sep 7, 20267m 49s
  More actions for workflow run 7

• fix(nix): resolve the venir toolchain per system, and three more plat…

  completed successfully:
  CI#6:Commitcd7cd57pushedbyzah
  main

  Aug 31, 20264m 55s
  More actions for workflow run 6

• CI

  completed successfully:
  CI#5:Scheduled
  main

  Aug 31, 20265m 10s
  More actions for workflow run 5

• test(payload): print the document the consumer's checks decode

  completed successfully:
  CI#4:Commitcc90731pushedbyzah
  main

  Aug 30, 20263m 22s
  More actions for workflow run 4

• feat(payload): carry the solver's counterexample into the contract

  completed successfully:
  CI#3:Commita1090d2pushedbyzah
  main

  Aug 30, 20264m 44s
  More actions for workflow run 3

• feat(payload): emit the machine-readable verification report

  completed successfully:
  CI#2:Commitd3731d2pushedbyzah
  main

  Aug 29, 20264m 43s
  More actions for workflow run 2

• docs: re-measure the limitations, and say how to keep up with Noir

  completed successfully:
  CI#1:Commit5b2d32epushedbyzah
  main

  Aug 28, 20268m 1s
  More actions for workflow run 1