Skip to content

Commit ed7c6b7

Browse files
committed
Link to CI script in compiling documentation
Because this helps document the way CBMC is currently built in CI. This is usefull both for reference compared to local builds and for working out why CI builds are failing on PRs.
1 parent 8e78992 commit ed7c6b7

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

COMPILING.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,11 @@ following environments:
88
- Microsoft Visual Studio 2019
99

1010
The above environments are currently tested as part of our continuous
11-
integration system. The environments below have been used successfully in the
11+
integration system. It separately tests both the CMake build system and the
12+
hand-written make files. The latest build steps being used in CI can be
13+
[referenced here](https://github.com/diffblue/cbmc/blob/develop/.github/workflows/pull-request-checks.yaml).
14+
15+
The environments below have been used successfully in the
1216
past, but are not actively tested:
1317

1418
- Solaris 11

0 commit comments

Comments
 (0)