Skip to content

[Bug]: project file loaded too late (#1189 REOPEN) #1207

Open
@PaulCayard

Description

@PaulCayard

Environment

  • OS and Version: Windows 10
  • IDE Version: VS Code 1.93.1
  • Ada & SPARK Extension Version: v25.0.20240915

Bug Summary and Reproducer

Bug Summary:
Issue #1189 is occured again after updating to v25.0.20240915. I cannot reopen Issue #1189.
See Issue #1189 for further details.

Steps to reproduce:
See Issue #1189.

Expected behavior:
See Issue #1189.

Configuration and Logs

See Issue #1189.

Other VS Code Extensions

No response

Additional context

No response

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions