ci: remove *-profile jobs #15970

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

Merged

emmettbutler merged 9 commits into main from emmett.butler/profile-jobs

Jan 12, 2026

+2 −139

.github/workflows/django-overhead-profile.yml

This file was deleted.

.github/workflows/encoders-profile.yml

This file was deleted.

.github/workflows/flask-overhead-profile.yml

This file was deleted.

scripts/profiles/encoders/run.sh

-Original file line number
+Diff line change
@@ -1,4 +1,4 @@
-    #!/usr/bin/env bash -eu
+    #!/usr/bin/bash
     set -eu
@@ Expand Down @@

scripts/profiles/encoders/setup.sh

-Original file line number
+Diff line change
@@ -1,4 +1,4 @@
-    #!/usr/bin/env bash -eu
+    #!/usr/bin/bash
     set -eu
@@ Expand Down @@