All workflows

Workflow runs

• update documentation

  completed successfully:
  CI#18:Commita64b324pushedbyeldering
  main

  Jul 26, 20263m 0s
  More actions for workflow run 18

• continue after eof

  completed successfully:
  CI#17:Commit5f981cdpushedbyeldering
  main

  May 17, 20261m 20s
  More actions for workflow run 17

• update spec

  completed successfully:
  CI#8:Pull request#35openedbymzuenni
  mzuenni:doc

  Mar 22, 20261m 17s
  More actions for workflow run 8

• Fall back to old input reading when using stdin

  completed successfully:
  CI#7:Commitfe4aa54pushedbyeldering
  main

  Mar 15, 20261m 16s
  More actions for workflow run 7

• Small input handling tweaks

  completed successfully:
  CI#6:Pull request#33openedbyeldering
  input-handling

  Mar 14, 20262m 34s
  More actions for workflow run 6

• Bump copyright year

  completed successfully:
  CI#5:Commit6cd8008pushedbyeldering
  main

  Mar 14, 20261m 16s
  More actions for workflow run 5

• Fix github action (now it should run before merging). (#24)

  completed successfully:
  CI#4:Commit488c6f1pushedbymeisterT
  main

  Feb 19, 20261m 37s
  More actions for workflow run 4

• Fix github action (now it should run before merging).

  completed successfully:
  CI#3:Pull request#24synchronizebymeisterT
  meisterT:gh_action2

  Feb 19, 20261m 19s
  More actions for workflow run 3

• Fix github action (now it should run before merging).

  failed:
  CI#2:Pull request#24openedbymeisterT
  meisterT:gh_action2

  Feb 19, 20261m 5s
  More actions for workflow run 2

• Add simple github action for checktestdata. (#23)

  failed:
  CI#1:Commitce7fbe5pushedbymeisterT
  main

  Feb 19, 20261m 12s
  More actions for workflow run 1