Skip to content

[#2183] Add analytics to the debugger

Motivation and Context

Add analytics collection (if the user has agreed to let them be collected) to the launch of LIGO. Collects user ID, repository ID, launch syntax, and LIGO version.

Related issues

Part of #2183 (closed).

Checklist for the LIGO Debugger

  • Tests

    • Bug fixes and new features have corresponding tests added
  • Documentation

    • I checked whether I should update the docs and did so if necessary:
  • launch.json config (if updated)

    • I keep the format of launch.json (in package.json) synced with how the plugin code and the adapter's code work with this configuration.
    • If I changed values in the initial configuration for launch.json, I also searched for them in code and updated accordingly. I keep the default configurations and default values for not listed fields in match.
  • Breaking changes (if applied)

    • If I introduced changes that are not compatible with the older versions of ligo, I updated our version restrictions according to the respective document.

Description

Component

  • compiler
  • website
  • webide
  • vscode-plugin
  • debugger

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Performance improvement (non-breaking change that improves performance)
  • None (change with no changelog)

Changelog

Added analytics to the launch of the debugger (only if the user has agreed to let LIGO collect them).

Checklist:

  • Changes follow the existing coding style (use dune @fmt to check).
  • Tests for the changes have been added (for bug fixes / feature).
  • Documentation has been updated.
  • Changelog description has been added (if appropriate).
  • Start titles under ## Changelog section with #### (if appropriate).
  • There is no image or uploaded file in changelog
  • Examples in changed behaviour have been added to the changelog (for breaking change / feature).

Merge request reports