Gleb Mazovetskiy
eae5d8788c
GitHub CI: Add a `--fully_vendored` source dist
...
Refs #4469
4 years ago
Gleb Mazovetskiy
062ce0a0c2
Github CI: Fixup release actions
...
1. Use `${{ }}` consistently. It is technically not required in `if`
conditions but GitHub CI docs use it and it avoid certain pitfalls,
such as when the value starts with `!` (making it a YAML type
declaration).
2. Fixes one of the `if`s.
4 years ago
Gleb Mazovetskiy
5226fb0360
GitHub CI: Fix check for release upload
...
Fixes an attempt to upload a release when triggering release actions manually.
4 years ago
Oleksandr Kalko
ed7690a9dd
Update action for source tarball
...
* Use apt-get instead of apt, since apt has a warning
* Add Gtest as a dependency
4 years ago
Gleb Mazovetskiy
93d450ab4e
GitHub CI: Automatically add files to the release
4 years ago
Gleb Mazovetskiy
170086433b
.github/workflows/src_dist_release.yml: Fix python
4 years ago
Gleb Mazovetskiy
3b45c97510
GitHub CI: Fix workflow_dispatch triggers
4 years ago
Gleb Mazovetskiy
bfa7f85163
Add a GitHub Workflow to build the source tarball
...
Triggered on release and can also be triggered manually.
4 years ago