| author | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 11:02:15 +0000 (13:02 +0200) | ||
| committer | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 17:25:14 +0000 (19:25 +0200) | ||
| commit | 053e6c4b386348834e35e5fefc921fadc0e64025 | |
| tree | 019258b0e63003d74655ed15321861012f50de67 | tree | snapshot |
| parent | b65ff293a96924f9b19dff8855232bfb9054b976 | 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 |