diff options
| author | Aleksey Kladov <[email protected]> | 2020-06-06 18:54:41 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-06-06 18:54:41 +0100 |
| commit | 81ffe973ac265507419024048c166bbeef9aa275 (patch) | |
| tree | 18686b03811a4e52ea8e365535dd3dc780c4b07f /.github/actions | |
| parent | ae1acbd09c8e98e4e23f01f633ad551dabd5c578 (diff) | |
Document certain invariants
Diffstat (limited to '.github/actions')
0 files changed, 0 insertions, 0 deletions