Skip to content

Use --time when building public on CI#700

Merged
jviotti merged 1 commit intomainfrom
time-public
Mar 4, 2026
Merged

Use --time when building public on CI#700
jviotti merged 1 commit intomainfrom
time-public

Conversation

@jviotti
Copy link
Member

@jviotti jviotti commented Mar 4, 2026

Signed-off-by: Juan Cruz Viotti jv@jviotti.com

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>
@augmentcode
Copy link

augmentcode bot commented Mar 4, 2026

🤖 Augment PR Summary

Summary: Updates the public image build to include sourcemeta --time, emitting timing information during CI builds.

Changes:

  • Adds the `--time` flag alongside `--profile` in public/Dockerfile.

🤖 Was this summary useful? React with 👍 or 👎

Copy link

@augmentcode augmentcode bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review completed. No suggestions at this time.

Comment augment review to trigger a new review at any time.

Copy link

@cubic-dev-ai cubic-dev-ai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No issues found across 1 file

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Benchmark Index (community)

Details
Benchmark suite Current: cacccb8 Previous: 17bb92c Ratio
Add one schema (0 existing) 41 ms 44 ms 0.93
Add one schema (100 existing) 897 ms 921 ms 0.97
Add one schema (1000 existing) 9319 ms 9290 ms 1.00

This comment was automatically generated by workflow using github-action-benchmark.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Benchmark Index (enterprise)

Details
Benchmark suite Current: cacccb8 Previous: e24c535 Ratio
Add one schema (0 existing) 44 ms 50 ms 0.88
Add one schema (100 existing) 935 ms 1027 ms 0.91
Add one schema (1000 existing) 9660 ms 10065 ms 0.96

This comment was automatically generated by workflow using github-action-benchmark.

@jviotti jviotti merged commit ef1287c into main Mar 4, 2026
6 checks passed
@jviotti jviotti deleted the time-public branch March 4, 2026 13:05
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