Skip to content

Conversation

@pbrubeck
Copy link
Contributor

@pbrubeck pbrubeck commented Aug 26, 2025

Description

Tests firedrakeproject/fiat#172

@pbrubeck pbrubeck marked this pull request as draft August 26, 2025 16:42
@pbrubeck pbrubeck force-pushed the pbrubeck/gem-tabulation branch from bee6323 to a672e08 Compare August 28, 2025 18:02
@pbrubeck pbrubeck force-pushed the pbrubeck/gem-tabulation branch from a5d8697 to 9814911 Compare October 25, 2025 11:58
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