All workflows

Workflow runs

• Depend on the released automata and automata-learning 0.1 from crates.io

  completed successfully:
  Create cache build#40:Commit001ececpushedbyleonbohn
  main

  Oct 26, 20261m 25s
  More actions for workflow run 40

• Update automata and automata-learning dependencies

  completed successfully:
  Create cache build#39:Commite1a8615pushedbyleonbohn
  main

  Oct 25, 20265m 5s
  More actions for workflow run 39

• Update automata and automata-learning dependencies

  completed successfully:
  Create cache build#38:Commit4392b57pushedbyleonbohn
  main

  Oct 25, 20261m 36s
  More actions for workflow run 38

• Port the binaries to the flattened automata paths

  completed successfully:
  Create cache build#37:Commit4db94a6pushedbyleonbohn
  main

  Oct 25, 20267m 22s
  More actions for workflow run 37

• Extract libraries into their own repositories; depend on them via git

  completed successfully:
  Create cache build#36:Commit7a77cb6pushedbyleonbohn
  main

  Oct 25, 20265m 30s
  More actions for workflow run 36

• update many deps, make clippy happy

  completed successfully:
  Create cache build#35:Commitcc29b71pushedbyleonbohn
  main

  Oct 1, 20262m 9s
  More actions for workflow run 35

• fix quick start

  completed successfully:
  Create cache build#34:Commit5a977e6pushedbyleonbohn
  main

  Oct 1, 20267m 17s
  More actions for workflow run 34

• Update dependencies

  failed:
  Verify code#148:Pull request#127synchronizebyleonbohn
  update-deps

  Apr 19, 20261m 1s
  More actions for workflow run 148

• Update dependencies

  failed:
  Verify code#147:Pull request#127openedbyleonbohn
  update-deps

  Apr 19, 20262m 40s
  More actions for workflow run 147

• Cleanup of repository

  failed:
  Verify code#146:Pull request#126synchronizebyleonbohn
  cleanup

  Oct 31, 20252m 10s
  More actions for workflow run 146

• Cleanup of repository

  failed:
  Verify code#145:Pull request#126openedbyleonbohn
  cleanup

  Oct 30, 20252m 30s
  More actions for workflow run 145