diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 17:51:09 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 18:13:21 +0200 |
| commit | cc25bb3e5b050bb09e83be4fbc050018d5ca50da (patch) | |
| tree | ce266a9cdafcbfb80dff1f5f246073716a5c2ec1 /Dockerfile | |
| parent | Makefile: move the prelude to prelude.mk (diff) | |
| download | cv-cc25bb3e5b050bb09e83be4fbc050018d5ca50da.tar.gz cv-cc25bb3e5b050bb09e83be4fbc050018d5ca50da.zip | |
workflows/build: deploy on manual runs also
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions