Skip to content

Commit 740de2a

Browse files
authored
flambda-backend: Revert "Add flambda2 -Oclassic and -O3 CI jobs" (#1462)
This reverts commit 20c1915.
1 parent 6ec73ed commit 740de2a

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

testsuite/tests/lib-dynlink-init-info/test.ml

-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
(* TEST
2-
flags += "-w -58"
32
include dynlink
43
*)
54

0 commit comments

Comments
 (0)