Skip to content

CompatHelper: bump compat for Gridap to 0.18, (keep existing compat)#78

Closed
github-actions[bot] wants to merge 1 commit intomainfrom compathelper/new_version/2024-11-08-00-30-26-112-02153348986

Commits