All workflows

Workflow runs

• TagBot

  completed successfully:
  TagBot#234:Scheduled
  main

  Oct 18, 202617s
  More actions for workflow run 234

• CompatHelper

  completed successfully:
  CompatHelper#509:Scheduled
  main

  Oct 18, 20262m 56s
  More actions for workflow run 509

• CompatHelper

  completed successfully:
  CompatHelper#508:Scheduled
  main

  Oct 18, 20262m 24s
  More actions for workflow run 508

• CompatHelper

  completed successfully:
  CompatHelper#507:Scheduled
  main

  Oct 17, 20262m 48s
  More actions for workflow run 507

• CompatHelper

  completed successfully:
  CompatHelper#506:Scheduled
  main

  Oct 17, 20262m 49s
  More actions for workflow run 506

• CompatHelper

  completed successfully:
  CompatHelper#505:Scheduled
  main

  Oct 17, 20262m 27s
  More actions for workflow run 505

• github_actions in /. - Update #1633036053

  completed successfully:
  Dependabot Updates#18:bydependabot[bot]Bot
  main

  Oct 17, 202629s

• TagBot

  completed successfully:
  TagBot#233:Scheduled
  main

  Oct 17, 202619s
  More actions for workflow run 233

• CompatHelper

  completed successfully:
  CompatHelper#504:Scheduled
  main

  Oct 17, 20262m 50s
  More actions for workflow run 504

• CompatHelper

  completed successfully:
  CompatHelper#503:Scheduled
  main

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

• CompatHelper

  completed successfully:
  CompatHelper#502:Scheduled
  main

  Oct 16, 20262m 42s
  More actions for workflow run 502

• CompatHelper

  completed successfully:
  CompatHelper#501:Scheduled
  main

  Oct 16, 20262m 47s
  More actions for workflow run 501

• CompatHelper

  completed successfully:
  CompatHelper#500:Scheduled
  main

  Oct 16, 20263m 4s
  More actions for workflow run 500

• TagBot

  completed successfully:
  TagBot#232:Scheduled
  main

  Oct 16, 202622s
  More actions for workflow run 232

• CompatHelper

  completed successfully:
  CompatHelper#499:Scheduled
  main

  Oct 16, 20262m 51s
  More actions for workflow run 499

• CompatHelper

  completed successfully:
  CompatHelper#498:Scheduled
  main

  Oct 16, 20262m 27s
  More actions for workflow run 498

• CompatHelper

  completed successfully:
  CompatHelper#497:Scheduled
  main

  Oct 15, 20262m 44s
  More actions for workflow run 497

• CompatHelper

  completed successfully:
  CompatHelper#496:Scheduled
  main

  Oct 15, 20262m 52s
  More actions for workflow run 496

• CompatHelper

  completed successfully:
  CompatHelper#495:Scheduled
  main

  Oct 15, 20262m 32s
  More actions for workflow run 495

• TagBot

  completed successfully:
  TagBot#231:Scheduled
  main

  Oct 15, 202620s
  More actions for workflow run 231

• CompatHelper

  completed successfully:
  CompatHelper#494:Scheduled
  main

  Oct 15, 20262m 47s
  More actions for workflow run 494

• CompatHelper

  completed successfully:
  CompatHelper#493:Scheduled
  main

  Oct 15, 20262m 49s
  More actions for workflow run 493

• CompatHelper

  completed successfully:
  CompatHelper#492:Scheduled
  main

  Oct 14, 20262m 30s
  More actions for workflow run 492

• d means the chain and the CFT for the same class, and one docstring warns about the other's required value

  skipped:
  TagBot#230:Issue comment#157 (comment)createdbysotashimozono
  Oct 14, 20261s
  More actions for workflow run 230

• A slot left free absorbs the data, and the relation cannot fail

  skipped:
  TagBot#229:Issue comment#164 (comment)createdbysotashimozono
  Oct 14, 20268s
  More actions for workflow run 229