Skip to content
This repository was archived by the owner on Aug 13, 2025. It is now read-only.
This repository was archived by the owner on Aug 13, 2025. It is now read-only.

Device ID not updated in MakeCode interface even after PR is merged #1407

@DeXin64

Description

@DeXin64

Hi MakeCode team,

I've submitted a PR to register a new device service with device ID 0x3C7B02DF. The PR has been successfully merged into the main branch.

However, when I visit the MakeCode interface at [https://microsoft.github.io/jacdac-docs/devices/elecfreaks/jacdacaccelerometerv10/], the old device ID 0x38c5de8f still appears instead of the new one. It seems that the latest data hasn't been properly reflected in the frontend.

Could you please help check the following:

  • Is there a build or deployment process needed after merging such changes?
  • Is the frontend possibly using cached data or an outdated version of the database?
  • Do we need to trigger any rebuild or sync process for the simulator or service list?

Thank you!

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions