All workflows

Workflow runs

• Simon changes

  cancelled:
  Run tests for pull requests#148:Pull request#63synchronizebySimonDieck
  simon_changes

  Oct 19, 20266h 1m 54s
  More actions for workflow run 148

• Simon changes

  failed:
  Run tests for pull requests#147:Pull request#63openedbySimonDieck
  simon_changes

  Oct 19, 20262h 59m 54s
  More actions for workflow run 147

• Fixed Splitting Memory Leaks

  failed:
  Run tests for pull requests#146:Pull request#61openedbyDev-Bjorn
  Dev-Bjorn:fixed_satsolver_and_json_parsing

  Jun 26, 20261d 0h 0m 4s
  More actions for workflow run 146

• added timeout to search mode, set via --searchtimeout parameter

  cancelled:
  Run tests for pull requests#145:Pull request#60openedbySiccoVerwer
  search_time_out

  May 5, 20266h 5m 6s
  More actions for workflow run 145

• Create and publish a FlexFringe Docker image

  failed:
  Create and publish a FlexFringe Docker image#63:completedbyRobBa
  Jan 17, 20263m 44s
  More actions for workflow run 63

• Merge pull request #59 from tudelft-cda-lab/RobBa-patch-1

  cancelled:
  Build and test#91:Commit4e5ed7dpushedbyRobBa
  main

  Jan 17, 20266h 1m 46s
  More actions for workflow run 91

• Update readme.md

  failed:
  Run tests for pull requests#144:Pull request#59openedbyRobBa
  RobBa-patch-1

  Jan 17, 20261m 28s
  More actions for workflow run 144

• Create and publish a FlexFringe Docker image

  failed:
  Create and publish a FlexFringe Docker image#62:completedbyRobBa
  Nov 5, 20253m 55s
  More actions for workflow run 62

• Merge pull request #58 from tudelft-cda-lab/Dev/remove_file_and_comment

  cancelled:
  Build and test#90:Commitd9a90afpushedbyRobBa
  main

  Nov 5, 20256h 2m 9s
  More actions for workflow run 90

• Removed comment and unused file

  failed:
  Run tests for pull requests#143:Pull request#58openedbyRobBa
  Dev/remove_file_and_comment

  Nov 5, 20251m 32s
  More actions for workflow run 143

• Create and publish a FlexFringe Docker image

  failed:
  Create and publish a FlexFringe Docker image#61:completedbyRobBa
  Oct 26, 20253m 53s
  More actions for workflow run 61

• Merge pull request #57 from tudelft-cda-lab/RB/remove_legacy_files

  cancelled:
  Build and test#89:Commit00a4353pushedbyRobBa
  main

  Oct 26, 20256h 1m 57s
  More actions for workflow run 89

• Removed legacy files

  failed:
  Run tests for pull requests#142:Pull request#57openedbyRobBa
  RB/remove_legacy_files

  Oct 26, 20251m 23s
  More actions for workflow run 142