| author | Paul Donald <redacted> | |
| Wed, 27 May 2026 15:49:12 +0000 (18:49 +0300) | ||
| committer | Paul Donald <redacted> | |
| Wed, 27 May 2026 15:49:12 +0000 (18:49 +0300) | ||
| commit | 6a86077789f22d8435bad08e6688baeba3600a4c | |
| tree | c674f80cad38b8c7281dfcbcfb6b056c4e64a1db | tree | snapshot |
| parent | 98fefa8b5b5e9e95e381813e883ce074428f8e2d | commit | diff |
| .github/workflows/formal.yml | diff | blob | history |