## Running analysis for "theorem_reach" version "0.1.0"
STARTED: 2024-05-02T18:55:56.913167Z

### Starting pana
2024-05-02 18:56:12.061518 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2024-05-02 18:56:12.113697 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2024-05-02 18:56:12.334072 INFO: Downloading package theorem_reach 0.1.0 from https://pub.dev/api/archives/theorem_reach-0.1.0.tar.gz
2024-05-02 18:56:12.709100 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2024-05-02 18:56:20.908535 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2024-05-02 18:56:21.904324 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`...
2024-05-02 18:56:23.217273 INFO: Analyzing package...
2024-05-02 18:56:23.261804 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine lib`...
2024-05-02 18:56:31.491409 INFO: Running `git init`...
2024-05-02 18:56:31.516094 INFO: Running `git remote add origin https://github.com/k-achraf/TheoremReach`...
2024-05-02 18:56:31.539255 INFO: Running `git remote show origin`...
2024-05-02 18:56:31.792566 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2024-05-02 18:56:32.278918 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2024-05-02 18:56:32.304288 INFO: Running `git show origin/main:example/pubspec.yaml`...
2024-05-02 18:56:32.334215 INFO: Running `git show origin/main:pubspec.yaml`...
2024-05-02 18:56:32.365173 INFO: `pubspec.yaml` from the repository has no `repository` or `homepage` URL.
2024-05-02 18:56:32.474506 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_ZOBYXC/lib`...
2024-05-02 18:56:33.057077 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 8.0.8`...
2024-05-02 18:56:53.667026 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global run dartdoc --output /tmp/dartdoc-theorem_reachTVAUFI --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/flutter/stable/bin/cache/dart-sdk`...
2024-05-02 18:58:08.814263 INFO: `dartdoc` completed:
2024-05-02 18:58:08.814263 INFO: Documenting theorem_reach...
2024-05-02 18:58:08.814263 INFO: Discovering libraries...
2024-05-02 18:58:08.814263 INFO: Linking elements...
2024-05-02 18:58:08.814263 INFO: Precaching local docs for 591937 elements...
2024-05-02 18:58:08.814263 INFO: Initialized dartdoc with 720 libraries
2024-05-02 18:58:08.814263 INFO: Generating docs for library theorem_reach.dart from package:theorem_reach/theorem_reach.dart...
2024-05-02 18:58:08.814263 INFO: Documented 1 public library in 73.2 seconds
2024-05-02 18:58:08.814263 INFO: Success! Docs generated into /tmp/dartdoc-theorem_reachTVAUFI
2024-05-02 18:58:08.814263 INFO: Found 0 warnings and 0 errors.
2024-05-02 18:58:08.858096 INFO: Writing summary.json
2024-05-02 18:58:08.865061 INFO: Running dartdoc post-processing
2024-05-02 18:58:08.869125 INFO: Creating .tar.gz archive
2024-05-02 18:58:09.002307 INFO: Finished .tar.gz archive
2024-05-02 18:58:09.262397 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2024-05-02T18:58:09.339663Z