Revert "Add flambda2 -Oclassic and -O3 CI jobs (#1459)"

This reverts commit 20c1915.
ocaml-flambda · Jun 8, 2023 · dc7badd · dc7badd
1 parent f75965b
commit dc7badd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -51,15 +51,15 @@ jobs:
             use_runtime: d
             ocamlrunparam: "v=0,V=1"
 
-          - name: flambda2_nnp_o3
+          - name: flambda2_nnp
             config: --enable-middle-end=flambda2 --disable-naked-pointers
             os: ubuntu-latest
-            ocamlparam: '_,O3=1'
+            ocamlparam: ''
 
-          - name: flambda2_frame_pointers_oclassic
+          - name: flambda2_frame_pointers
             config: --enable-middle-end=flambda2 --enable-frame-pointers --enable-poll-insertion
             os: ubuntu-latest
-            ocamlparam: '_,Oclassic=1'
+            ocamlparam: ''
 
           - name: flambda2_cfg
             config: --enable-middle-end=flambda2

diff --git a/ocaml/testsuite/tests/lib-dynlink-init-info/test.ml b/ocaml/testsuite/tests/lib-dynlink-init-info/test.ml
@@ -1,5 +1,4 @@
 (* TEST
-   flags += "-w -58"
    include dynlink
 *)