ci: update

This commit is contained in:
Folke Lemaitre 2024-07-05 16:00:54 +02:00
parent a1d23e80ba
commit 53661bb38c
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040
10 changed files with 105 additions and 105 deletions

13
.gitignore vendored
View file

@ -1,9 +1,8 @@
tt.*
.tests
doc/tags
debug
.repro
foo.*
*.log
data
.repro
.tests
build
debug
doc/tags
foo.*
tt.*