All workflows

Workflow runs

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#74:Scheduled
  develop

  Oct 30, 20261s
  More actions for workflow run 74

• Give the closed output test a longer timeout on Windows

  completed successfully:
  Kind2 CI#23:Commit8af25c2pushedbydaniel-larraz
  ignore-closed-output-on-exit

  Oct 30, 202633m 31s
  More actions for workflow run 23

• Skip the interpreter timeout case of the closed output test on Windows

  completed successfully:
  Kind2 CI#22:Commit4999562pushedbydaniel-larraz
  ignore-closed-output-on-exit

  Oct 30, 202622m 4s
  More actions for workflow run 22

• Assert the exit code of a run whose output is closed, and test the in…

  failed:
  Kind2 CI#21:Commit2f08735pushedbyJabe03
  ignore-closed-output-on-exit

  Oct 30, 202625m 14s
  More actions for workflow run 21

• Implement handling for closed output during exit to prevent premature…

  cancelled:
  Kind2 CI#20:Commitde85226pushedbyJabe03
  ignore-closed-output-on-exit

  Oct 30, 20262m 45s
  More actions for workflow run 20

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#73:Scheduled
  develop

  Oct 29, 20262s
  More actions for workflow run 73

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#72:Scheduled
  develop

  Oct 28, 20261s
  More actions for workflow run 72

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#71:Scheduled
  develop

  Oct 27, 20261s
  More actions for workflow run 71

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#70:Scheduled
  develop

  Oct 26, 20261s
  More actions for workflow run 70

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#69:Scheduled
  develop

  Oct 25, 202610s
  More actions for workflow run 69

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#68:Scheduled
  develop

  Oct 24, 20261s
  More actions for workflow run 68

• Drop the output if it cannot be silenced, and test a closed output on…

  completed successfully:
  Kind2 CI#19:Commit3c5c670pushedbyJabe03
  ignore-closed-output-on-exit

  Oct 23, 202624m 26s
  More actions for workflow run 19

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#67:Scheduled
  develop

  Oct 23, 20261s
  More actions for workflow run 67

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#66:Scheduled
  develop

  Oct 22, 20263s
  More actions for workflow run 66

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#65:Scheduled
  develop

  Oct 21, 20262s
  More actions for workflow run 65

• Name the variables of kmoxi's trails by their call paths (#1805)

  completed successfully:
  Kind2 CI#18:Commitcc5c0a9pushedbyJabe03
  develop

  Oct 20, 202630m 55s
  More actions for workflow run 18

• Merge branch 'main' of https://github.com/kind2-mc/kind2 into ignore-…

  completed successfully:
  Kind2 CI#17:Commitb686298pushedbyJabe03
  ignore-closed-output-on-exit

  Oct 20, 202627m 20s
  More actions for workflow run 17

• Clarify comment

  cancelled:
  Kind2 CI#16:Commit088881apushedbyJabe03
  ignore-closed-output-on-exit

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

• Ignore a closed output on the exit path so the solvers are still killed

  cancelled:
  Kind2 CI#15:Commitbecbf5cpushedbyJabe03
  ignore-closed-output-on-exit

  Oct 20, 202611m 51s
  More actions for workflow run 15

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#64:Scheduled
  develop

  Oct 20, 20261s
  More actions for workflow run 64

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#63:Scheduled
  develop

  Oct 19, 20261s
  More actions for workflow run 63

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#62:Scheduled
  develop

  Oct 18, 20261s
  More actions for workflow run 62

• Kind 2 Binaries

  skipped:
  Kind 2 Binaries#61:Scheduled
  develop

  Oct 17, 2026Skipped
  More actions for workflow run 61

• Remove two quadratic steps from the translation of Lustre nodes with …

  skipped:
  Kind 2 Binaries#60:Commitedece2cpushedbyJabe03
  main

  Oct 16, 20262s
  More actions for workflow run 60

• Remove two quadratic steps from the translation of Lustre nodes with …

  skipped:
  Kind 2 DockerHub#6:Commitedece2cpushedbyJabe03
  main

  Oct 16, 20261s
  More actions for workflow run 6