PyVCG CI Test

Workflow runs for PyVCG CI Test

• Bump version to 1.0.13-dev after release

  completed successfully:
  PyVCG CI Test#46:Commit86a888epushedbyflorianschanda
  main

  Jul 12, 202623s
  More actions for workflow run 46

• PyVCG Release 1.0.12

  completed successfully:
  PyVCG CI Test#45:Commite60c2b5pushedbyflorianschanda
  main

  Jul 12, 202626s
  More actions for workflow run 45

• Fix typo in version

  completed successfully:
  PyVCG CI Test#44:Commitb10160epushedbyflorianschanda
  main

  Jul 12, 202627s
  More actions for workflow run 44

• Bump version to 1.0.12-dev after release

  completed successfully:
  PyVCG CI Test#43:Commit0e2786apushedbyflorianschanda
  main

  Jul 12, 202625s
  More actions for workflow run 43

• PyVCG Release 1.0.11

  completed successfully:
  PyVCG CI Test#42:Commitea85dddpushedbyflorianschanda
  main

  Jul 12, 202627s
  More actions for workflow run 42

• Move to CVC5 1.3.4

  completed successfully:
  PyVCG CI Test#41:Commit225244dpushedbyflorianschanda
  main

  Jul 12, 202621s
  More actions for workflow run 41

• Bump version to 1.0.11-dev after release

  completed successfully:
  PyVCG CI Test#38:Commitde34844pushedbyflorianschanda
  main

  Jan 9, 202623s
  More actions for workflow run 38

• PyVCG Release 1.0.10

  completed successfully:
  PyVCG CI Test#37:Commit8d82886pushedbyflorianschanda
  main

  Jan 9, 202624s
  More actions for workflow run 37

• Update README

  completed successfully:
  PyVCG CI Test#36:Commit838cda0pushedbyflorianschanda
  main

  Jan 9, 202624s
  More actions for workflow run 36

• Move to CVC 1.3.2

  completed successfully:
  PyVCG CI Test#35:Commitccddb98pushedbyflorianschanda
  main

  Jan 9, 202624s
  More actions for workflow run 35

• Bump version to 1.0.10-dev after release

  completed successfully:
  PyVCG CI Test#34:Commit87a26b8pushedbyflorianschanda
  main

  Nov 29, 202521s
  More actions for workflow run 34

• PyVCG Release 1.0.9

  completed successfully:
  PyVCG CI Test#33:Commit1026955pushedbyflorianschanda
  main

  Nov 29, 202524s
  More actions for workflow run 33

• #5 Use better test for null

  completed successfully:
  PyVCG CI Test#32:Commit3c26e4cpushedbyflorianschanda
  main

  Nov 25, 202526s
  More actions for workflow run 32

• Fix parsing issue for empty records

  completed successfully:
  PyVCG CI Test#31:Commit6158db1pushedbyflorianschanda
  main

  Nov 20, 202523s
  More actions for workflow run 31

• Support self-recursive records

  completed successfully:
  PyVCG CI Test#30:Commit0d93a4dpushedbyflorianschanda
  main

  Nov 19, 202524s
  More actions for workflow run 30

• Add missing CHANGELOG

  completed successfully:
  PyVCG CI Test#29:Commit782c1ebpushedbyflorianschanda
  main

  Nov 17, 202527s
  More actions for workflow run 29

• #5 Fix issue with recursive trees

  completed successfully:
  PyVCG CI Test#28:Commit1294ae9pushedbyflorianschanda
  main

  Nov 17, 202525s
  More actions for workflow run 28

• Add Python 3.14 and mark CVC5 1.3.1 as a dep

  completed successfully:
  PyVCG CI Test#27:Commit006c8c4pushedbyflorianschanda
  main

  Nov 17, 20252m 34s
  More actions for workflow run 27

• Less spammy install

  completed successfully:
  PyVCG CI Test#26:Commit668ad0dpushedbyflorianschanda
  main

  Nov 17, 202525s
  More actions for workflow run 26

• Fix tabs

  completed successfully:
  PyVCG CI Test#25:Commit631de3dpushedbyflorianschanda
  main

  Nov 17, 202525s
  More actions for workflow run 25

• Attempt alternative CVC5 setup

  failed:
  PyVCG CI Test#24:Commit3f4535bpushedbyflorianschanda
  main

  Nov 17, 2025Failure
  More actions for workflow run 24

• Attempt to install the CVC5 fromt he package

  failed:
  PyVCG CI Test#23:Commitc17986dpushedbyflorianschanda
  main

  Nov 17, 202522s
  More actions for workflow run 23

• Also unpin pylint and pycodestyle

  failed:
  PyVCG CI Test#22:Commitbd3b6f4pushedbyflorianschanda
  main

  Nov 17, 202520s
  More actions for workflow run 22

• Don't fix version of coverage

  failed:
  PyVCG CI Test#21:Commitffa6bf4pushedbyflorianschanda
  main

  Nov 17, 202517s
  More actions for workflow run 21

• Perhaps the newer setup-bin works for packages now?

  failed:
  PyVCG CI Test#20:Commitad57476pushedbyflorianschanda
  main

  Nov 17, 202517s
  More actions for workflow run 20