| author | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 17:57:04 +0000 (19:57 +0200) | ||
| committer | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 18:44:13 +0000 (20:44 +0200) | ||
| commit | 9f0a1454de1029852f5468292a051eadc1272a35 | |
| tree | 4d900171881e8b3b56036af78050e83558978e33 | tree | snapshot |
| parent | 49df5f5b870445f0cc0f4f9a88e5d06de1da669d | commit | diff |
| .github/workflows/ci.yml | [new file with mode: 0644] | blob |
| .github/workflows/formal.yml | [new file with mode: 0644] | blob |
| .github/workflows/scripts/ci_helpers.sh | [new file with mode: 0644] | blob |