tla-model

Workflow runs for tla-model

• tla-model

  completed successfully:
  tla-model#14:Scheduled
  master

  Nov 9, 202612s
  More actions for workflow run 14

• tla-model

  cancelled:
  tla-model#13:Scheduled
  master

  Nov 2, 20265h 41m 18s
  More actions for workflow run 13

• tla-model

  completed successfully:
  tla-model#12:Manually runbyrmorozov
  claude/project-thread-zhl485

  Oct 30, 20262h 44m 47s
  More actions for workflow run 12

• tla-model

  completed successfully:
  tla-model#11:Manually runbyrmorozov
  claude/project-thread-p5xvnd

  Oct 30, 20263h 33m 34s
  More actions for workflow run 11

• tla-model

  completed successfully:
  tla-model#10:Manually runbyrmorozov
  claude/project-thread-6dglki

  Oct 30, 202613m 59s
  More actions for workflow run 10

• tla-model

  failed:
  tla-model#9:Manually runbyrmorozov
  claude/project-thread-6dglki

  Oct 30, 20262m 13s
  More actions for workflow run 9

• Run the TLC suite in GitHub Actions and halve the two-thread runs (0350)

  completed successfully:
  tla-model#8:Pull request#702synchronizebyrmorozov
  claude/project-thread-cxhu8i

  Oct 30, 20264h 21m 22s
  More actions for workflow run 8

• Run the TLC suite in GitHub Actions and halve the two-thread runs (0350)

  cancelled:
  tla-model#7:Pull request#702synchronizebyrmorozov
  claude/project-thread-cxhu8i

  Oct 30, 20265m 54s
  More actions for workflow run 7

• Run the TLC suite in GitHub Actions and halve the two-thread runs (0350)

  cancelled:
  tla-model#6:Pull request#702synchronizebyrmorozov
  claude/project-thread-cxhu8i

  Oct 30, 202649m 57s
  More actions for workflow run 6

• Specify the cycle collector in TLA+ (0338 step E)

  completed successfully:
  tla-model#5:Pull request#707synchronizebyrmorozov
  claude/project-thread-6dglki

  Oct 30, 20264h 0m 22s
  More actions for workflow run 5

• Run the TLC suite in GitHub Actions and halve the two-thread runs (0350)

  cancelled:
  tla-model#4:Pull request#702synchronizebyrmorozov
  claude/project-thread-cxhu8i

  Oct 30, 20261h 7m 56s
  More actions for workflow run 4

• Specify the cycle collector in TLA+ (0338 step E)

  cancelled:
  tla-model#3:Pull request#707synchronizebyrmorozov
  claude/project-thread-6dglki

  Oct 30, 20261h 29m 44s
  More actions for workflow run 3

• Specify the cycle collector in TLA+ (0338 step E)

  cancelled:
  tla-model#2:Pull request#707openedbyrmorozov
  claude/project-thread-6dglki

  Oct 30, 20261m 51s
  More actions for workflow run 2

• Run the TLC suite in GitHub Actions and halve the two-thread runs (0350)

  failed:
  tla-model#1:Pull request#702openedbyrmorozov
  claude/project-thread-cxhu8i

  Oct 30, 20264h 7m 21s
  More actions for workflow run 1