Skip to content

switch to @checks pragma#448

Closed
vito wants to merge 35 commits into
shykes:checksfrom
vito:checks-pragma
Closed

switch to @checks pragma#448
vito wants to merge 35 commits into
shykes:checksfrom
vito:checks-pragma

Conversation

@vito
Copy link
Copy Markdown

@vito vito commented Nov 7, 2025

No description provided.

@vito vito force-pushed the checks-pragma branch 2 times, most recently from e35c4e3 to c2ab8ad Compare November 7, 2025 03:30
@shykes shykes force-pushed the checks branch 2 times, most recently from 5977c1e to 1933caa Compare November 8, 2025 02:27
vito added 9 commits November 8, 2025 12:08
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
* go back to the regular frontend, we'll adjust from there to get to
  whatever we want
* to clean up the UI, zoom in on a `checks` span, same as
  shell/prompt-mode does
* add support for rolling up logs, re-use 'encapsulate' attribute to
  mark log roll-up boundaries (TODO: reuse this for 'reveal' boundaries
  too)
* exit nonzero if any checks failed

TODO:

* we probably just need a bool attr indicating whether a span is a
  check; sending check name + passed feels redundant w/ span data

Signed-off-by: Alex Suraci <alex@dagger.io>
vito added 6 commits November 8, 2025 18:42
we already moved away with empty => half => full circle, and this looks
jazzier anyhow

Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
press ctrl+space to sync up the bpm and enter rave mode

Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
vito added 5 commits November 9, 2025 12:32
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
also start generalizing roll-up; looking to use it to "roll up" spans
too by showing dots or something on the span's header line

Signed-off-by: Alex Suraci <alex@dagger.io>
fixes rave mode

Signed-off-by: Alex Suraci <alex@dagger.io>
vito added 15 commits November 9, 2025 12:39
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
...rather than doing a ton of work at render time.

also now we can share this with the web UI.

Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
also, split into two attributes, so you can roll up spans without logs
or vice versa

plus a minor optimization

Signed-off-by: Alex Suraci <alex@dagger.io>
Signed-off-by: Alex Suraci <alex@dagger.io>
@vito vito closed this Nov 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant