Closed allgandalf closed 6 months ago
Please do not review or merge this PR
This PR is intended to check why we hit the GitHub API rate limit on running the Docker workflow, we check how many calls the makefile makes to the github API.
cc: @robkooper
Discussions on this false PR are made in the issue #3210
Closing the PR, refer #3210 for more details about this long long discussed issue :)
Please do not review or merge this PR
This PR is intended to check why we hit the GitHub API rate limit on running the Docker workflow, we check how many calls the makefile makes to the github API.
cc: @robkooper