All workflows

Workflow runs

• v39 (Statistics): Sweep (P,C,B) configurations to measure consumer ov…

  completed successfully:
  CI#193:Commit6871597pushedbylemmy
  main

  Apr 22, 20261m 51s
  More actions for workflow run 193

• v39 (Statistics): Sweep (P,C,B) configurations to measure consumer ov…

  completed successfully:
  CI#192:Commit6871597pushedbylemmy
  main.new

  Apr 22, 20261m 58s
  More actions for workflow run 192

• v39 (Statistics): Sweep (P,C,B) configurations to measure consumer ov…

  completed successfully:
  CI#191:Commitfcdba6dpushedbylemmy
  main.new

  Apr 22, 20261m 55s
  More actions for workflow run 191

• v39 (Statistics): Sweep (P,C,B) configurations to measure consumer ov…

  completed successfully:
  CI#190:Commit9b2c6c0pushedbylemmy
  main.new

  Apr 22, 20262m 13s
  More actions for workflow run 190

• v39 (Statistics): WIP

  completed successfully:
  CI#189:Commit7b5729epushedbylemmy
  main.new

  Apr 22, 20261m 50s
  More actions for workflow run 189

• v38 (Termination): Prove termination of the BlockingQueuePoisonApple …

  completed successfully:
  CI#188:Commit32a2e1bpushedbylemmy
  main.new

  Apr 22, 20262m 4s
  More actions for workflow run 188

• v38 (Termination): Prove termination of the BlockingQueuePoisonApple …

  failed:
  CI#187:Commit294611cpushedbylemmy
  main.new

  Apr 22, 202624s
  More actions for workflow run 187

• v38 (Statistics): WIP

  failed:
  CI#186:Commita8e5944pushedbylemmy
  main.new

  Apr 22, 202624s
  More actions for workflow run 186

• v38 (Statistics): WIP

  failed:
  CI#185:Commit7e4991apushedbylemmy
  main.new

  Apr 22, 20267s
  More actions for workflow run 185

• Prove all safety properties of (non-trivial/non-textbook) BlockingQue…

  failed:
  CI#184:Commit777a763pushedbylemmy
  mku-ClaudeTLAPS

  Apr 22, 20263m 1s
  More actions for workflow run 184

• v38 (Statistics): WIP

  failed:
  CI#181:Commit991dc07pushedbylemmy
  main

  Apr 22, 20267s
  More actions for workflow run 181