Skip to content

copilot-theorem: Remove unused pragmas. Refs #613. - #638

Merged
ivanperez-keera merged 8 commits into
Copilot-Language:masterfrom
carte731:develop-remove-pragmas-theorem
Jul 5, 2025
Merged

copilot-theorem: Remove unused pragmas. Refs #613.#638
ivanperez-keera merged 8 commits into
Copilot-Language:masterfrom
carte731:develop-remove-pragmas-theorem

copilot-theorem: Document changes in CHANGELOG. Refs #613.

c9954d6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs