Skip to content
deal.II v9.4

Make case selector print available options in error message #71

Sign in to view logs

Make case selector print available options in error message

Make case selector print available options in error message #71

Triggered via push April 16, 2024 07:10
@davidscndavidscn
pushed 06ad4ec
master
Status Success
Total duration 4m 41s
Artifacts –

backward_compatibility.yml

on: push
build
4m 33s
build
Fit to window
Zoom out
Zoom in