Remove (now-unneeded) x-ci-accept-failures

neuppl · Oct 6, 2023 · 7a32c21 · 7a32c21
1 parent e3711a8
commit 7a32c21
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/rsdd.opam.template b/rsdd.opam.template