Build_PR

Workflow runs for Build_PR

• PoC unification tracer

  completed successfully:
  Build_PR#89:Pull request#186synchronizebyProgMiner
  ProgMiner:unify-trace

  Apr 4, 20269m 57s
  More actions for workflow run 89

• PoC unification tracer

  completed successfully:
  Build_PR#88:Pull request#186synchronizebyProgMiner
  ProgMiner:unify-trace

  Mar 29, 202610m 19s
  More actions for workflow run 88

• PoC unification tracer

  completed successfully:
  Build_PR#87:Pull request#186openedbyProgMiner
  ProgMiner:unify-trace

  Feb 26, 20269m 57s
  More actions for workflow run 87

• Reverso+debug_var benchmark

  completed successfully:
  Build_PR#86:Pull request#185openedbyKakadu
  reverso+debug_var+bench

  Jan 25, 20269m 55s
  More actions for workflow run 86

• Samples: Relational finite set using hypercubes

  completed successfully:
  Build_PR#85:Pull request#184synchronizebyKakadu
  Kakadu:hypercube-sample

  Jan 18, 20269m 51s
  More actions for workflow run 85

• Samples: Relational finite set using hypercubes

  failed:
  Build_PR#84:Pull request#184openedbyKakadu
  Kakadu:hypercube-sample

  Jan 18, 20269m 55s
  More actions for workflow run 84

• Add stream function to get answers one-by one with continuation

  completed successfully:
  Build_PR#83:Pull request#183openedbyKakadu
  stream-iteration-cps

  Oct 11, 20252m 25s
  More actions for workflow run 83

• reify_in_state, is_ground, is_ground_bool (needed for JGS)

  completed successfully:
  Build_PR#82:Pull request#182openedbyKakadu
  reify_in_state

  Oct 9, 20253m 33s
  More actions for workflow run 82

• Wildcards 2025

  completed successfully:
  Build_PR#81:Pull request#177synchronizebyKakadu
  Kakadu:wildcards-2025-forPR

  Oct 9, 20254m 37s
  More actions for workflow run 81