Show the clightgen command in the model status view #85

Merged
marfavi merged 2 commits from feat/clightgen-command-in-status into main 2026-10-29 13:49:45 +01:00
Owner

Fixes #71

The status view shows the exact clightgen command while generating, and the last command afterwards.

Fixes #71 The status view shows the exact clightgen command while generating, and the last command afterwards.
Show the clightgen command in the model status view (#71)
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 1m3s
Extension / Format, types, lint, extension tests (pull_request) Successful in 2m27s
41c0c079d6
michael approved these changes 2026-10-29 11:15:31 +01:00
Merge remote-tracking branch 'origin/main' into feat/clightgen-command-in-status
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 51s
Extension / Format, types, lint, extension tests (pull_request) Successful in 2m20s
e14aa38e08
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
code2rocq/crocq!85
No description provided.