[LIBRARY_REQUEST] beman_optional26: fix deployment after the library …

…was renamed inside the Beman project (#1439)
compiler-explorer · Oct 20, 2024 · 8d1037d · 8d1037d
1 parent 5a09742
commit 8d1037d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/yaml/libraries.yaml b/bin/yaml/libraries.yaml
@@ -1019,7 +1019,7 @@ libraries:
         build_type: none
         check_file: README.md
         type: github
-        repo: beman-project/Optional26
+        repo: beman-project/optional26
         method: nightlyclone
         targets:
         - main