Paul Spooren
fb830fd894
CI: build changes in tools/ on ubuntu/macos
|
3 лет назад | |
|---|---|---|
| .. | ||
| ci_helpers.sh | 3 лет назад | |
| formal.yml | 3 лет назад | |
| tools.yml | 3 лет назад | |
|
Paul Spooren
fb830fd894
CI: build changes in tools/ on ubuntu/macos
|
3 лет назад | |
|---|---|---|
| .. | ||
| ci_helpers.sh | 3 лет назад | |
| formal.yml | 3 лет назад | |
| tools.yml | 3 лет назад | |