| author | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 14:14:44 +0000 (16:14 +0200) | ||
| committer | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 19:51:06 +0000 (21:51 +0200) | ||
| commit | 2e46a7405f26ec131918c821c30ac0b26fdb22f0 | |
| tree | 7cfb95ab1405c5b0572d1d62d801b3ab15bf7e4d | tree | snapshot |
| parent | 57c1e8cd2c051d755ca861a9ab38a8049d2e3f95 | commit | diff |
| .github/workflows/ci.yml | diff | blob | history | |
| .github/workflows/formal.yml | [new file with mode: 0644] | blob |
| .github/workflows/scripts/ci_helpers.sh | [new file with mode: 0644] | blob |