CI

Workflow runs for CI

• Use PPA for swipl-devel for the changed location of library(json).

  failed:
  CI#8:Commit58c4834pushedbyJanWielemaker
  master

  Nov 5, 20262m 15s
  More actions for workflow run 8

• Allow running tests in optimized mode.

  failed:
  CI#7:Commit0e4f76bpushedbyJanWielemaker
  master

  Nov 5, 20261m 12s
  More actions for workflow run 7

• Updated version

  completed successfully:
  CI#6:Commit1d221fcpushedbyJanWielemaker
  master

  Oct 30, 20262m 18s
  More actions for workflow run 6

• FIXED: dynamic consistency checking took a unifiable literal for a he…

  completed successfully:
  CI#5:Commitdae0a96pushedbyJanWielemaker
  master

  Oct 29, 20261m 18s
  More actions for workflow run 5

• Updated version in pack

  completed successfully:
  CI#4:Commit307864epushedbyJanWielemaker
  master

  Oct 29, 20261m 34s
  More actions for workflow run 4

• Updated version

  completed successfully:
  CI#3:Commit4e4aff0pushedbyJanWielemaker
  master

  Oct 29, 20261m 18s
  More actions for workflow run 3

• Avoid dependency on xpce and packs for more reliable tests

  completed successfully:
  CI#2:Commitb969b1bpushedbyJanWielemaker
  ssCASP

  Oct 18, 202659s
  More actions for workflow run 2

• MODIFIED: sscasp writes a prohibited-value set of one as X ∉ [a]

  completed successfully:
  CI#1:Commit2a6314cpushedbyJanWielemaker
  ssCASP

  Oct 2, 20261m 15s
  More actions for workflow run 1