You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
7d336f9cea
The CB currently requests two builds: gnat and libadalang_for_customers, each one with its own "anod build" shell command. With enough bad luck, new components can be uploaded to Cathod in between, making the CB build during the second step components that were already built during the first step, making the CB timeout (the CB is already close to the timeout limit). Switch to an electrolyt plan instead, so that this kind of issue is less likely to happen (the Anod scheduler/Cathod requests run only once).
8 lines
210 B
Plaintext
8 lines
210 B
Plaintext
def run_cb():
|
|
# Make sure the GNAT package can still build with all these changes
|
|
anod_build("gnat")
|
|
|
|
# Also build the customer-facing Libadalang package
|
|
anod_build("libadalang_for_customers")
|
|
|