Skip to content
Snippets Groups Projects
Commit 11134101 authored by Jean-Michel Picod's avatar Jean-Michel Picod
Browse files

Debug why Github workflow is failing here

parent dbde04df
No related branches found
No related tags found
No related merge requests found
......@@ -13,7 +13,7 @@
# See the License for the specific language governing permissions and
# limitations under the License.
set -e
set -ex
# Ensure the script doesn't fail on Github workflows
export TERM=${TERM:-vt100}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment