Skip to content

💚 Update CodeQL workflow to avoid memory issue #468

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
Merged
merged 12 commits into from
Jul 2, 2024
Merged

💚 Update CodeQL workflow to avoid memory issue #468

merged 12 commits into from
Jul 2, 2024

Conversation

Drewniok
Copy link
Collaborator

@Drewniok Drewniok commented Jul 1, 2024 •
edited by marcelwa
Loading

Description

This PR deactivates CLI compilation for CodeQL to solve the out-of-storage space problem.

Fixes #447

Checklist:

  • The pull request only contains commits that are related to it.
  • I have added appropriate tests and documentation.
  • I have added a changelog entry.
  • I have created/adjusted the Python bindings for any new or updated functionality.
  • I have made sure that all CI jobs on GitHub pass.
  • The pull request introduces no new warnings and follows the project's style guidelines.

@Drewniok Drewniok marked this pull request as draft July 1, 2024 17:05
@Drewniok Drewniok changed the title 💚 Fix CodeQL by disabling Mugen. 💚 Fix CodeQL Jul 2, 2024
@Drewniok Drewniok marked this pull request as ready for review July 2, 2024 13:37
@Drewniok Drewniok added the github_actions Pull requests that update GitHub Actions code label Jul 2, 2024
@Drewniok Drewniok self-assigned this Jul 2, 2024
@Drewniok Drewniok changed the title 💚 Fix CodeQL 💚 Excluding unit tests from CodeQL to fix memory issue. Jul 2, 2024
@Drewniok Drewniok requested a review from marcelwa July 2, 2024 13:39
@Drewniok Drewniok changed the title 💚 Excluding unit tests from CodeQL to fix memory issue. 💚 Update CodeQL workflow to avoid memory issue. Jul 2, 2024
@marcelwa marcelwa changed the title 💚 Update CodeQL workflow to avoid memory issue. 💚 Update CodeQL workflow to avoid memory issue Jul 2, 2024
@marcelwa marcelwa merged commit 639452e into cda-tum:main Jul 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@marcelwa marcelwa marcelwa approved these changes

Assignees

@Drewniok Drewniok

Labels
github_actions Pull requests that update GitHub Actions code
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

🐛 CodeQL seems to run out of memory
2 participants
@Drewniok @marcelwa