diff options
| author | Théo Zimmermann | 2021-02-04 15:05:12 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2021-02-04 22:18:40 +0100 |
| commit | 6ccec2f441fb4237ae098c65a2ff509b8d93b2af (patch) | |
| tree | 3826e93ca2fc0c5b417235162c0af088dbfbc5db /dev/ci/ci-basic-overlay.sh | |
| parent | c7d0084fc64042380dd1675095f8be6ec438fcb0 (diff) | |
Update release process following coq/ceps#52.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions