## Running analysis for "dart_z3" version "1.0.5"
STARTED: 2024-05-14T11:53:20.330797Z

### Starting pana
2024-05-14 11:53:35.418032 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2024-05-14 11:53:35.481955 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2024-05-14 11:53:35.684223 INFO: Downloading package dart_z3 1.0.5 from https://pub.dev/api/archives/dart_z3-1.0.5.tar.gz
2024-05-14 11:53:35.949357 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`...
2024-05-14 11:53:36.684465 INFO: Running `/home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`...
2024-05-14 11:53:37.329063 INFO: Analyzing package...
2024-05-14 11:53:37.363250 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`...
2024-05-14 11:53:48.069254 INFO: Running `git init`...
2024-05-14 11:53:48.100873 INFO: Running `git remote add origin https://github.com/IvoSchols/dart-z3`...
2024-05-14 11:53:48.125478 INFO: Running `git remote show origin`...
2024-05-14 11:53:48.370696 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2024-05-14 11:53:48.843664 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2024-05-14 11:53:48.869489 INFO: Running `git show origin/main:pubspec.yaml`...
2024-05-14 11:53:50.772931 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_MCWJHY/lib`...
2024-05-14 11:53:52.654129 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 8.0.8`...
2024-05-14 11:54:05.022068 INFO: Running `/home/worker/dart/stable/bin/dart pub global run dartdoc --output /tmp/dartdoc-dart_z3IWRZOJ --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`...
2024-05-14 11:54:39.883448 INFO: `dartdoc` completed:
2024-05-14 11:54:39.883448 INFO: Documenting dart_z3...
2024-05-14 11:54:39.883448 INFO: Discovering libraries...
2024-05-14 11:54:39.883448 INFO: Linking elements...
2024-05-14 11:54:39.883448 INFO: Precaching local docs for 142840 elements...
2024-05-14 11:54:39.883448 INFO: Initialized dartdoc with 54 libraries
2024-05-14 11:54:39.883448 INFO: Generating docs for library dart_z3.dart from package:dart_z3/dart_z3.dart...
2024-05-14 11:54:39.883448 INFO: Documented 1 public library in 32.0 seconds
2024-05-14 11:54:39.883448 INFO: Success! Docs generated into /tmp/dartdoc-dart_z3IWRZOJ
2024-05-14 11:54:39.883448 INFO: Found 0 warnings and 0 errors.
2024-05-14 11:54:39.915492 INFO: Writing summary.json
2024-05-14 11:54:39.919345 INFO: Running dartdoc post-processing
2024-05-14 11:54:39.924389 INFO: Creating .tar.gz archive
2024-05-14 11:54:40.108141 INFO: Finished .tar.gz archive
2024-05-14 11:54:40.583049 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2024-05-14T11:54:40.662789Z