CI

Workflow runs for CI

• The record of the round: what a context stands on, and the two defect…

  completed successfully:
  CI#208:Commitf5bc061pushedbySunrisepeak
  main

  Oct 2, 20261m 52s
  More actions for workflow run 208

• The record of the round, and the verification it rests on

  completed successfully:
  CI#207:Pull request#46openedbySunrisepeak
  openkal-0.15.0-record

  Oct 2, 20262m 1s
  More actions for workflow run 207

• 0.15.0 --- a context can say what region it stands on (#45)

  completed successfully:
  CI#206:Commitd0a43efpushedbySunrisepeak
  main

  Oct 2, 20261m 32s
  More actions for workflow run 206

• 0.15.0 --- a context can say what region it stands on

  completed successfully:
  CI#205:Pull request#45openedbySunrisepeak
  openkal-0.15.0

  Oct 2, 20261m 47s
  More actions for workflow run 205

• The record of what a started program receives, and the premise it cor…

  completed successfully:
  CI#204:Commit3404f36pushedbySunrisepeak
  main

  Oct 1, 20262m 17s
  More actions for workflow run 204

• The record of what a started program receives, and the premise it corrected

  completed successfully:
  CI#203:Pull request#44openedbySunrisepeak
  docs/what-a-started-program-receives-record

  Oct 1, 20262m 0s
  More actions for workflow run 203

• 0.14.1 --- what a started program receives is stated, and the grant i…

  completed successfully:
  CI#202:Commitc478374pushedbySunrisepeak
  main

  Oct 1, 20261m 39s
  More actions for workflow run 202

• 0.14.1 --- what a started program receives is stated, and the grant is observed

  completed successfully:
  CI#201:Pull request#43openedbySunrisepeak
  openkal-0.14.1

  Oct 1, 202657s
  More actions for workflow run 201

• the interface list an implementation provides is derived from its art…

  completed successfully:
  CI#200:Commitb0c3b5bpushedbySunrisepeak
  main

  Sep 20, 20262m 18s
  More actions for workflow run 200

• the interface list an implementation provides is derived from its artefact

  completed successfully:
  CI#199:Pull request#42synchronizebySunrisepeak
  interfaces-from-the-artefact

  Sep 20, 20269m 4s
  More actions for workflow run 199

• the interface list an implementation provides is derived from its artefact

  failed:
  CI#198:Pull request#42synchronizebySunrisepeak
  interfaces-from-the-artefact

  Sep 20, 202627m 33s
  More actions for workflow run 198

• the interface list an implementation provides is derived from its artefact

  failed:
  CI#197:Pull request#42openedbySunrisepeak
  interfaces-from-the-artefact

  Sep 20, 20261m 56s
  More actions for workflow run 197

• the record says the mirror defect was repaired, and what the repair t…

  completed successfully:
  CI#196:Commitcfb2193pushedbySunrisepeak
  main

  Sep 20, 20261m 59s
  More actions for workflow run 196

• the record says the mirror defect was repaired, and what the repair turned up

  completed successfully:
  CI#195:Pull request#41synchronizebySunrisepeak
  docs/mirror-repair-record

  Sep 20, 20261m 53s
  More actions for workflow run 195

• the record says the mirror defect was repaired, and what the repair turned up

  completed successfully:
  CI#194:Pull request#41openedbySunrisepeak
  docs/mirror-repair-record

  Sep 20, 20261m 55s
  More actions for workflow run 194

• the verify script's pty helper is not called pty.py, and the sandbox …

  completed successfully:
  CI#193:Commit281ae1dpushedbySunrisepeak
  main

  Sep 20, 20262m 0s
  More actions for workflow run 193

• the verify script's pty helper is not called pty.py, and the sandbox result

  completed successfully:
  CI#192:Pull request#40synchronizebySunrisepeak
  docs/verify-pty-name

  Sep 20, 20262m 4s
  More actions for workflow run 192

• the verify script's pty helper is not called pty.py, and the sandbox result

  completed successfully:
  CI#191:Pull request#40openedbySunrisepeak
  docs/verify-pty-name

  Sep 20, 20261m 52s
  More actions for workflow run 191

• the record of the 0.14 wave, and the script that verifies it from the…

  completed successfully:
  CI#190:Commit6e96e81pushedbySunrisepeak
  main

  Sep 20, 20261m 53s
  More actions for workflow run 190

• the record of the 0.14 wave, and the script that verifies it from the published index

  completed successfully:
  CI#189:Pull request#39synchronizebySunrisepeak
  docs/term-pass-control-record

  Sep 20, 20261m 26s
  More actions for workflow run 189

• the record of the 0.14 wave, and the script that verifies it from the published index

  completed successfully:
  CI#188:Pull request#39openedbySunrisepeak
  docs/term-pass-control-record

  Sep 20, 20261m 53s
  More actions for workflow run 188

• 0.14 --- a keystroke the environment keeps for itself, and the sense …

  failed:
  CI#187:Commit6423dcbpushedbySunrisepeak
  main

  Sep 20, 20261m 54s
  More actions for workflow run 187

• 0.14 --- a keystroke the environment keeps for itself, and the sense in which zero is the weaker claim

  completed successfully:
  CI#186:Pull request#38synchronizebySunrisepeak
  openkal-0.14

  Sep 20, 20261m 57s
  More actions for workflow run 186

• 0.14 --- a keystroke the environment keeps for itself, and the sense in which zero is the weaker claim

  completed successfully:
  CI#185:Pull request#38synchronizebySunrisepeak
  openkal-0.14

  Sep 20, 20261m 54s
  More actions for workflow run 185

• 0.14 --- a keystroke the environment keeps for itself, and the sense in which zero is the weaker claim

  failed:
  CI#184:Pull request#38openedbySunrisepeak
  openkal-0.14

  Sep 20, 20261m 43s
  More actions for workflow run 184