Skip to content

modernization#82

Merged
ale-linux merged 3 commits into
mainfrom
modernization
Jul 8, 2026
Merged

modernization#82
ale-linux merged 3 commits into
mainfrom
modernization

Conversation

@adecaro

@adecaro adecaro commented Jul 8, 2026

Copy link
Copy Markdown
Member

This PR brings in:

  • a new version of mathlib that gets rid of kilic
  • golangci-lint enablement

@adecaro adecaro requested a review from ale-linux July 8, 2026 05:41
@adecaro adecaro self-assigned this Jul 8, 2026
@adecaro adecaro closed this Jul 8, 2026
adecaro added 2 commits July 8, 2026 07:45
golangci-lint

Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
@adecaro adecaro reopened this Jul 8, 2026
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
@ale-linux ale-linux merged commit a9e1237 into main Jul 8, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants