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