Skip to content

Remove line breaks from the body of the text on the release page. #5522

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Oct 14, 2020
Merged

Remove line breaks from the body of the text on the release page. #5522

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
6d53cf4
Remove line breaks from the body of the text on the release page.
Oct 9, 2020
aac9d61
Make capitalization consistent on release page.
Oct 9, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 6 additions & 11 deletions .github/workflows/regular-release.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@ jobs:
## MacOS

On MacOS, install CBMC using [Homebrew](https://brew.sh/) with

```sh
brew install cbmc
```
Expand All @@ -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:
Expand All @@ -62,22 +62,17 @@ 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:

```sh
msiexec /i ${{ env.CBMC_TAG }}-win64.msi
PATH="c:\program files\cbmc\bin";%PATH%
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