| author | Álvaro Fernández Rojas <[email protected]> | |
| Sat, 18 Oct 2025 08:13:26 +0000 (10:13 +0200) | ||
| committer | Álvaro Fernández Rojas <[email protected]> | |
| Sat, 18 Oct 2025 15:55:10 +0000 (17:55 +0200) | ||
| commit | 4ee309a54011169aaea91674c666894d940a0970 | |
| tree | f6d1a1e757d479dbbd1b9e91abde28a2295bbe0f | tree | snapshot |
| parent | ff3a241ccc98a19bae6a6be271055dec108a9679 | 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 |