From c599edf6d904261ae98a4c835f6a89078d5994dd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciek=20B=C4=85k?= Date: Tue, 1 Aug 2023 21:26:13 +0200 Subject: [PATCH] refactor: add minor elements to the repo - round (2) (#58) --- .github/workflows/release.yml | 22 ++++++++++++++++++++++ .gitpod.dockerfile | 8 ++++---- VERSION | 1 + 3 files changed, 27 insertions(+), 4 deletions(-) create mode 100644 .github/workflows/release.yml create mode 100644 VERSION diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml new file mode 100644 index 0000000..294d55d --- /dev/null +++ b/.github/workflows/release.yml @@ -0,0 +1,22 @@ +name: release + +on: + push: + branches: + - master + +jobs: + release-on-push: + runs-on: ubuntu-22.04 + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + + steps: + + - uses: rymndhng/release-on-push-action@master + with: + bump_version_scheme: norelease + use_github_release_notes: true + tag_prefix: "v" + release_name: "v" + max_commits: 100 diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile index 2ce032d..83ade53 100644 --- a/.gitpod.dockerfile +++ b/.gitpod.dockerfile @@ -5,15 +5,15 @@ FROM ubuntu:22.04 # Install: # - git (and git-lfs), for git operations (to e.g. push your work). # Also required for setting up your configured dotfiles in the workspace. -# - gosu, while not required, is recommended to be installed, since the +# - sudo, while not required, is recommended to be installed, since the # workspace user (`gitpod`) is non-root and won't be able to install # and use `sudo` to install any other tools in a live workspace. -RUN apt-get update && apt-get install -yq --no-install-recommends \ - git git-lfs gosu g++ make valgrind libmpfr-dev python3 python3-pip doxygen \ +RUN apt-get update && apt-get install -yq \ + git git-lfs sudo g++ make valgrind libmpfr-dev python3 python3-pip doxygen \ && pip install cpplint pre-commit \ && apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/* # Create the gitpod user. UID must be 33333. -RUN useradd -l -u 33333 -md /home/gitpod -s /bin/bash -p gitpod gitpod +RUN useradd -l -u 33333 -G sudo -md /home/gitpod -s /bin/bash -p gitpod gitpod USER gitpod diff --git a/VERSION b/VERSION new file mode 100644 index 0000000..de87a17 --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +v2.0.5 \ No newline at end of file