Skip to content

Fix installer call for GNATPro for Rust#16

Merged
jklmnn merged 1 commit into
mainfrom
fix-gnatpro-rust
Jun 12, 2026
Merged

Fix installer call for GNATPro for Rust#16
jklmnn merged 1 commit into
mainfrom
fix-gnatpro-rust

Conversation

@jklmnn

@jklmnn jklmnn commented Jun 11, 2026

Copy link
Copy Markdown
Member

No description provided.

@jklmnn jklmnn requested a review from treiher June 11, 2026 13:12
Comment thread lmod_manager/lmod_manager.py
@jklmnn jklmnn force-pushed the fix-gnatpro-rust branch from 05ee1d5 to 80e289b Compare June 12, 2026 12:08
@jklmnn jklmnn requested a review from treiher June 12, 2026 12:09
Comment thread lmod_manager/lmod_manager.py
Comment thread lmod_manager/lmod_manager.py Outdated
@jklmnn jklmnn force-pushed the fix-gnatpro-rust branch from 80e289b to 2adcbd9 Compare June 12, 2026 13:21
@jklmnn jklmnn requested a review from treiher June 12, 2026 13:21
@jklmnn jklmnn merged commit e5843cb into main Jun 12, 2026
0 of 3 checks passed
@jklmnn jklmnn deleted the fix-gnatpro-rust branch June 12, 2026 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants