From d09b36a41fe9c1c327744791a3e0e5d584b3c65c Mon Sep 17 00:00:00 2001 From: Pieter Belmans Date: Sat, 25 Nov 2023 14:14:12 +0100 Subject: [PATCH] Update README.md --- README.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index bf39899..9ff04bb 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,10 @@ -This repository documents a minimal working example for using Gerby. The main steps in doing so are documented in the file `.travis.yml`. +[![pdf](https://github.com/gerby-project/hello-world/actions/workflows/example.yml/badge.svg)](https://github.com/gerby-project/hello-world/actions/workflows/example.yml) + +This repository documents a minimal working example for using Gerby. + +There are two things one can look at + +* the plasTeX-only check, see `.github/workflows/example.yml` (which is checked by the badge) +* a full example using the now discontinued Travis, see `.travis.yml`. For more information, see [Gerby project](https://gerby-project.github.io).