Revision 33d7c84a7bc3d86211b8e397b1c2d079bdfb6bb4 authored by martoon on 12 October 2023, 13:31:00 UTC, committed by martoon on 09 November 2023, 15:57:30 UTC
At first, I didn't write logs assuming that they will be highly available. Actually they are, and we could log more. So here I at least log the result.
1 parent a371e92
File | Mode | Size |
---|---|---|
exe | ||
parser | ||
test | ||
value | ||
dune | -rw-r--r-- | 406 bytes |
node_version.ml | -rw-r--r-- | 3.9 KB |
node_version.mli | -rw-r--r-- | 2.4 KB |
version.ml | -rw-r--r-- | 2.5 KB |
version.mli | -rw-r--r-- | 3.8 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...