Skip to content

fix: Ensure linters job run when necessary#292

Merged
gtema merged 1 commit intomainfrom
linters
Oct 10, 2025
Merged

fix: Ensure linters job run when necessary#292
gtema merged 1 commit intomainfrom
linters

Conversation

@gtema
Copy link
Collaborator

@gtema gtema commented Oct 10, 2025

Due to an error in the workflow it mostly only run after merge (too
late).

Due to an error in the workflow it mostly only run after merge (too
late).
@github-actions
Copy link

github-actions bot commented Oct 10, 2025

🐰 Bencher Report

Branchlinters
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.14 µs
(-47.92%)Baseline: 2.20 µs
9.21 µs
(12.42%)
🐰 View full continuous benchmarking report in Bencher

@gtema gtema merged commit a266939 into main Oct 10, 2025
15 checks passed
@gtema gtema deleted the linters branch November 3, 2025 11:09
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

Comments