From 6d53cf404bdf01f9080256a9418191ef7bc0cc0c Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Fri, 9 Oct 2020 14:15:58 -0400 Subject: [PATCH] Remove line breaks from the body of the text on the release page. The yaml file regular-release.yaml generating the release page include the body of text for the release page. The definition of the body include line breaks to make the text fit within 80 characters in the yaml file, but the line breaks in the yaml file are treated as line breaks in the resulting markdown file, and the text does not flow well in a web browser. This page just removes the line breaks within a paragraph of text. --- .github/workflows/regular-release.yaml | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml index 0d715d25734..636d65946bc 100644 --- a/.github/workflows/regular-release.yaml +++ b/.github/workflows/regular-release.yaml @@ -38,6 +38,7 @@ jobs: ## MacOS On MacOS, install CBMC using [Homebrew](https://brew.sh/) with + ```sh brew install cbmc ``` @@ -50,8 +51,7 @@ jobs: ## Ubuntu - On Ubuntu, install CBMC by downloading the *.deb package below for your version of Ubuntu - and install with one of + On Ubuntu, install CBMC by downloading the *.deb package below for your version of Ubuntu and install with one of ```sh # Ubuntu 18: @@ -62,9 +62,7 @@ jobs: ## Windows - On Windows, install CBMC by downloading the `${{ env.CBMC_TAG }}-win64.msi` installer - below, double-clicking on the installer to run it, and adding the folder - `C:\Program Files\cbmc\bin` in your `PATH` environment variable. + On Windows, install CBMC by downloading the `${{ env.CBMC_TAG }}-win64.msi` installer below, double-clicking on the installer to run it, and adding the folder `C:\Program Files\cbmc\bin` in your `PATH` environment variable. For installation from the windows command prompt, run: @@ -73,11 +71,8 @@ jobs: PATH="c:\program files\cbmc\bin";%PATH% ``` - Note that we depend on the Visual C++ redistributables. You likely already have these, - if not please download and run vcredist.x64.exe from Microsoft to install them prior - to running cbmc, or make sure you have Visual Studio 2019 installed. + Note that we depend on the Visual C++ redistributables. You likely already have these, if not please download and run vcredist.x64.exe from Microsoft to install them prior to running cbmc, or make sure you have Visual Studio 2019 installed. - You can download either [Visual Studio 2019 Community Edition](https://visualstudio.microsoft.com/vs/community/) - or the [Visual C++ Redistributables](https://support.microsoft.com/en-gb/help/2977003/the-latest-supported-visual-c-downloads) from Microsoft for free. + You can download either [Visual Studio 2019 Community Edition](https://visualstudio.microsoft.com/vs/community/) or the [Visual C++ Redistributables](https://support.microsoft.com/en-gb/help/2977003/the-latest-supported-visual-c-downloads) from Microsoft for free. draft: false prerelease: false