Skip to content

Comments

chore(ci): Skip OSC PR when no relevant changes#295

Merged
gtema merged 1 commit intomainfrom
osc
Oct 12, 2025
Merged

chore(ci): Skip OSC PR when no relevant changes#295
gtema merged 1 commit intomainfrom
osc

Conversation

@gtema
Copy link
Collaborator

@gtema gtema commented Oct 12, 2025

Add logic to skip creating of the PR (what fails anyway) when there are
no relevant changes.

@github-actions
Copy link

github-actions bot commented Oct 12, 2025

🐰 Bencher Report

Branchosc
Testbedubuntu-latest
Click to view all benchmark results
BenchmarkLatencyBenchmark Result
microseconds (µs)
(Result Δ%)
Upper Boundary
microseconds (µs)
(Limit %)
fernet token/project📈 view plot
🚷 view threshold
1.25 µs
(-30.08%)Baseline: 1.78 µs
7.44 µs
(16.74%)
🐰 View full continuous benchmarking report in Bencher

Add logic to skip creating of the PR (what fails anyway) when there are
no relevant changes.
@gtema gtema merged commit 233f411 into main Oct 12, 2025
14 checks passed
@gtema gtema deleted the osc branch November 3, 2025 11:10
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