diff --git a/etc/config/mojo.amazon.properties b/etc/config/mojo.amazon.properties index 3fe483821..a7440e6e7 100644 --- a/etc/config/mojo.amazon.properties +++ b/etc/config/mojo.amazon.properties @@ -2,13 +2,16 @@ compilers=&mojo defaultCompiler=mojo_nightly compilerType=mojo -group.mojo.compilers=mojo_0_25_6_0:mojo_nightly +group.mojo.compilers=mojo_0_25_6_0:mojo_0_25_7_0:mojo_nightly group.mojo.isSemVer=true group.mojo.baseName=Mojo compiler.mojo_0_25_6_0.exe=/opt/compiler-explorer/mojo-0.25.6.0/bin/mojo compiler.mojo_0_25_6_0.semver=0.25.6.0 +compiler.mojo_0_25_7_0.exe=/opt/compiler-explorer/mojo-0.25.7.0/bin/mojo +compiler.mojo_0_25_7_0.semver=0.25.7.0 + compiler.mojo_nightly.exe=/opt/compiler-explorer/mojo-nightly/bin/mojo compiler.mojo_nightly.semver=nightly compiler.mojo_nightly.isNightly=true