Skip to content

remove Main.getWorkingDir() - #3982

Open
wadoon wants to merge 1 commit into
mainfrom
weigl/mwrun
Open

remove Main.getWorkingDir()#3982
wadoon wants to merge 1 commit into
mainfrom
weigl/mwrun

remove Main.getWorkingDir()

c09e225
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
succeeded Sep 8, 2026 in 4m 21s