[CI] revert recent changes (#2543)

This commit is contained in:
Philippe Tillet
2023-10-25 02:00:31 +02:00
committed by GitHub
parent 5181d62b1b
commit 31c76ddd05
3 changed files with 1 additions and 1 deletions