Skip to content

ci: use ngsPETSc main on master CI#4457

Merged
ksagiyam merged 1 commit intomasterfrom
ksagiyam/use_ngspetsc_main_on_master_ci
Jul 23, 2025
Merged

ci: use ngsPETSc main on master CI#4457
ksagiyam merged 1 commit intomasterfrom
ksagiyam/use_ngspetsc_main_on_master_ci

Conversation

@ksagiyam
Copy link
Contributor

No description provided.

@ksagiyam ksagiyam force-pushed the ksagiyam/use_ngspetsc_main_on_master_ci branch from 33282ee to cc35fa6 Compare July 22, 2025 21:51
@ksagiyam ksagiyam marked this pull request as ready for review July 22, 2025 23:01
@ksagiyam ksagiyam merged commit 7fe6ff3 into master Jul 23, 2025
6 of 7 checks passed
@ksagiyam ksagiyam deleted the ksagiyam/use_ngspetsc_main_on_master_ci branch July 23, 2025 15:33
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