Synthesize and Test

Workflow runs for Synthesize and Test

• docs: Add Zenodo DOI badge to README

  completed successfully:
  Synthesize and Test#10:Commit83d9795pushedbyfrereit
  main

  Sep 2, 20261h 51m 29s
  More actions for workflow run 10

• ci: Use nix flake in CI

  completed successfully:
  Synthesize and Test#9:Commit6e8f307pushedbyfrereit
  v1.0.0

  Sep 2, 20262h 0m 56s
  More actions for workflow run 9

• ci: Use nix flake in CI

  completed successfully:
  Synthesize and Test#8:Commit6e8f307pushedbyfrereit
  main

  Jul 1, 20262h 0m 16s
  More actions for workflow run 8

• ci: Use nix flake in CI

  failed:
  Synthesize and Test#7:Commitd4c385dpushedbyfrereit
  main

  Jul 1, 202622m 3s
  More actions for workflow run 7

• ci: Use nix flake in CI

  failed:
  Synthesize and Test#6:Commit458fa77pushedbyfrereit
  main

  Jul 1, 202621m 50s
  More actions for workflow run 6

• ci: Use nix flake in CI

  completed successfully:
  Synthesize and Test#5:Commit8303eb6pushedbyfrereit
  main

  Jul 1, 202623m 20s
  More actions for workflow run 5

• ci: Use nix flake in CI

  completed successfully:
  Synthesize and Test#4:Commita85e8c3pushedbyfrereit
  main

  Jun 30, 202620m 58s
  More actions for workflow run 4

• Initial release

  cancelled:
  Synthesize and Test#3:Commit971fbdepushedbyfrereit
  main

  Apr 22, 20261d 0h 0m 1s
  More actions for workflow run 3

• Initial release

  cancelled:
  Synthesize and Test#2:Commit07a5f85pushedbyfrereit
  main

  Apr 8, 20261d 0h 0m 2s
  More actions for workflow run 2

• Initial release

  cancelled:
  Synthesize and Test#1:Commit46cf409pushedbyfrereit
  main

  Mar 31, 20261d 0h 0m 2s
  More actions for workflow run 1