From 75a15faeb97bfcadcb5dccadbf17f62de35f21a9 Mon Sep 17 00:00:00 2001
From: Olivier Cots <olivier.cots@irit.fr>
Date: Sat, 17 Aug 2024 22:04:14 +0200
Subject: [PATCH] remove ctregistry for OptimalControl.jl

---
 .github/workflows/Breakage.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/Breakage.yml b/.github/workflows/Breakage.yml
index c9906cf2..786b8733 100644
--- a/.github/workflows/Breakage.yml
+++ b/.github/workflows/Breakage.yml
@@ -56,9 +56,6 @@ jobs:
           set -v
           mkdir -p ./pr
           echo "${{ github.event.number }}" > ./pr/NR
-          if [ $URL == "control-toolbox/OptimalControl.jl" ]; then
-            julia -e 'using Pkg; Pkg.Registry.add(RegistrySpec(url = "https://github.com/control-toolbox/ct-registry.git"))'
-          fi
           git clone https://github.com/$URL
           export PKG=$(echo $URL | cut -f2 -d/)
           cd $PKG