FIxing the CI.

This commit is contained in:
Nicolas Patry 2024-08-16 14:21:29 +02:00 committed by yuanwu
parent 85df9fc2db
commit 11d25a4bd3
2 changed files with 4 additions and 4 deletions