Skip to content
This repository was archived by the owner on Jun 11, 2025. It is now read-only.

Fixes and improvements to Github Actions #32

Merged
voidbert merged 8 commits into from
Mar 4, 2025
Merged

Fixes and improvements to Github Actions #32

voidbert merged 8 commits into from
Mar 4, 2025

Conversation

@voidbert
Copy link
Owner

@voidbert voidbert commented Mar 4, 2025

  • Fix cppcheck not doing anything, and fix the errors it found;
  • Improve performance of LaTeX formatting;
  • Improve performance of building the project on GitHub runners;
  • Update documentation to match updated actions.

@voidbert voidbert merged commit 2b09bba into main Mar 4, 2025
6 checks passed
@voidbert voidbert deleted the fix-actions branch March 4, 2025 17:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

3 more reviewers

@saraazevedolopes saraazevedolopes saraazevedolopes approved these changes

@Mariana-rc01 Mariana-rc01 Mariana-rc01 approved these changes

@a104437ana a104437ana a104437ana approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@voidbert @saraazevedolopes @Mariana-rc01 @a104437ana