Skip to content
GitLab
Explore
Sign in
dune-docker
README.md
Find file
Blame
Permalink
Feb 22, 2024
8e5a3fd0
README.md: use current runner configuration
· 8e5a3fd0
Ansgar Burchardt
authored
Feb 22, 2024
8e5a3fd0
README.md: use current runner configuration
Ansgar Burchardt
authored
Feb 22, 2024
Loading
Ansgar Burchardt authoredAnsgar Burchardt authored