Skip to content
Back to pull request #3788

Options Panel in Load Dialog. Options in Recent Files #4581

Sign in to view logs

Options Panel in Load Dialog. Options in Recent Files

Options Panel in Load Dialog. Options in Recent Files #4581

unit-tests (ubuntu-latest, 21, keyext.isabelletranslation)

unit-tests (ubuntu-latest, 21, keyext.isabelletranslation)
succeeded Jun 11, 2026 in 1m 30s