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.

Sign up for GitHub

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

Jump to bottom

chore(ci): use develop as default branch #6

Merged

metachris merged 1 commit into develop from branch-fixes

Jul 3, 2024

Contributor

metachris commented Jul 3, 2024

📝 Summary

Use develop as default branch.

✅ I have completed the following steps:

Run make lint
Run make test
Added tests (if applicable)


          chore(ci): use develop as default branch

69e22b6

github-actions bot commented Jul 3, 2024

Benchmark results for `69e22b6`

Report: https://flashbots-rbuilder-ci-stats.s3.us-east-2.amazonaws.com/benchmark/69e22b6-2507fd8/report/index.html


Date (UTC)	2024-07-03T11:11:04+00:00
Commit	`69e22b67724bbb12770b380087bfd776028b3c45`
Base SHA	`2507fd8f7de1929623e980da4f0528c4313b566c`

Significant changes

None

jakubhruby7 approved these changes

View reviewed changes

metachris merged commit ba65c82 into develop

2 checks passed

metachris deleted the branch-fixes branch

July 3, 2024 11:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet