Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use GitHub variables instead of event object #22

Closed
wants to merge 1 commit into from

Conversation

epompeii
Copy link
Contributor

@epompeii epompeii commented Dec 6, 2023

Even though the single quotes were enough to fix the pwn request issue with ${{ github.event.pull_request.head.ref }}, I think it would be safer going forward to just use the already sanitized GitHub variables: https://docs.github.com/en/actions/learn-github-actions/variables#default-environment-variables

Copy link

github-actions bot commented Dec 6, 2023

🐰Bencher

ReportWed, December 6, 2023 at 00:45:48 UTC
Projecttrace4rs
Branchenv_var
Testbedubuntu-latest
BenchmarkLatencyLatency Results
nanoseconds (ns) | (Δ%)
file➖ (view plot)0.310 (0.00%)
rolling_file➖ (view plot)0.311 (0.00%)
tracing_file➖ (view plot)0.929 (0.00%)
tracing_rolling_file➖ (view plot)0.932 (0.00%)

Bencher - Continuous Benchmarking
View Public Perf Page
Docs | Repo | Chat | Help

@epompeii epompeii closed this Dec 6, 2023
@epompeii epompeii deleted the env_var branch December 7, 2023 16:27
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