Skip to content

Commit

Permalink
README.md: Point to CI for getting a PDF
Browse files Browse the repository at this point in the history
  • Loading branch information
@jrtc27
jrtc27 authored May 12, 2020
1 parent 831a7d6 commit 18ba453
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,6 @@ help developers working with pure-capability C/C++ understand the benefits
that it brings, any code adaptations they might need to make, and how to
interpret new compiler warnings and errors that arise with pure-capability
code.

For a pre-typeset PDF version of this document, please find the latest CI run at
https://github.com/CTSRD-CHERI/cheri-c-programming/actions.

0 comments on commit 18ba453

Please sign in to comment.