diff --git a/.woodpecker.yaml b/.woodpecker.yaml
index f652a2b..a9ed63f 100644
--- a/.woodpecker.yaml
+++ b/.woodpecker.yaml
@@ -11,6 +11,7 @@ steps:
       - woodpecker-cli lint Docker/
       - woodpecker-cli lint Golang/
       - woodpecker-cli lint Hugo/
+      - woodpecker-cli lint Idris/
       - woodpecker-cli lint Jekyll/.woodpecker/jekyll.yaml
       - woodpecker-cli lint Julia/.woodpecker.yaml
       - woodpecker-cli lint KiCad/.woodpecker.yaml
diff --git a/Idris/.woodpecker.yaml b/Idris/.woodpecker.yaml
new file mode 100644
index 0000000..66a883f
--- /dev/null
+++ b/Idris/.woodpecker.yaml
@@ -0,0 +1,7 @@
+steps:
+  build:
+    image: snazzybucket/idris2
+    commands: idris2 --typecheck --mkdoc
+    when:
+      event: push
+      branch: main
diff --git a/README.md b/README.md
index 657ef47..5602257 100644
--- a/README.md
+++ b/README.md
@@ -12,20 +12,21 @@ Pull requests are welcome!
 | [Docker/.woodpecker/buildx.yaml](Docker/.woodpecker/buildx.yaml)             | Dockerfile  | [buildx][2]         | Build and publish Docker images for multiple architectures on codeberg                                                                                                   |
 | [Golang/.woodpecker/build.yaml](Golang/.woodpecker/build.yaml)               | golang      | golang              | Simple ci for building and test a Go project                                                                                                                             |
 | [Golang/.woodpecker/build-docker.yaml](Golang/.woodpecker/build-docker.yaml) | golang      | golang / kaniko     | CI to build golang project and build various docker container and publish them on DockerHub                                                                              |
-| [KiCad/.woodpecker.yaml](KiCad/.woodpecker.yaml)                             | ---         | KiBot               | Building gerber files, ibom and a pdf schematic as an example for KiBot use                                                                                              |
-| [NodeJS/.woodpecker.yaml](NodeJS/.woodpecker.yaml)                           | JavaScript  | NodeJS              | CI to build static websites files and publish them to Codeberg Pages with 11ty                                                                                           |
-| [Tectonic/.woodpecker.yaml](Tectonic/.woodpecker.yaml)                       | LaTeX       | Tectonic            | Builds a TeX file and pushes the resulting PDF file to a given repository.                                                                                               |
+| [Hugo/.woodpecker.yaml](Hugo/.woodpecker.yaml)                               | Markdown    | Hugo                | CI step to build static website files and publish them to Codeberg Pages with Hugo                                                                                       |
+| [Idris/.woodpecker.yaml](Idris/.woodpecker.yaml)                             | Idris       | Idris               | Typechecks your Idris project and ensures documentation can be generated without errors                                                                                  |
 | [Jekyll/.woodpecker/jekyll.yaml](Jekyll/.woodpecker/jekyll.yaml)             | Markdown    | Jekyll              | CI step to build static website files and publish them to Codeberg Pages using Jekyll                                                                                    |
 | [Julia/.woodpecker.yaml](Julia/.woodpecker.yaml)                             | Julia       | Pkg.jl              | Standard CI pipeline to test Julia packages.                                                                                                                             |
-| [Hugo/.woodpecker.yaml](Hugo/.woodpecker.yaml)                               | Markdown    | Hugo                | CI step to build static website files and publish them to Codeberg Pages with Hugo                                                                                       |
+| [KiCad/.woodpecker.yaml](KiCad/.woodpecker.yaml)                             | ---         | KiBot               | Building gerber files, ibom and a pdf schematic as an example for KiBot use                                                                                              |
+| [Mdbook/.woodpecker.yaml](Mdbook/.woodpecker.yaml)                           | Markdown    | mdbook              | CI step to build static website files and publish them to Codeberg Pages with mdbook                                                                                     |
+| [NodeJS/.woodpecker.yaml](NodeJS/.woodpecker.yaml)                           | JavaScript  | NodeJS              | CI to build static websites files and publish them to Codeberg Pages with 11ty                                                                                           |
 | [PHP/.woodpecker.yaml](PHP/.woodpecker.yaml)                                 | PHP         | Bash                | CI step lint PHP files and report on errors                                                                                                                              |
 | [Python/.woodpecker/mkdocs.yaml](Python/.woodpecker/mkdocs.yaml)             | Markdown    | MkDocs              | Static Site Generator mkdocs example                                                                                                                                     |
-| [Mdbook/.woodpecker.yaml](Mdbook/.woodpecker.yaml)                           | Markdown    | mdbook              | CI step to build static website files and publish them to Codeberg Pages with mdbook                                                                                     |
 | [Python/.woodpecker/code-quality.yaml](Python/.woodpecker/code-quality.yaml) | Python      | Python venv         | Standard CI pipeline to test Python packages code on multiple Python distributions. For details check [serial-sphinx](https://codeberg.org/sail.black/serial-sphinx.git) |
 | [Python/.woodpecker/pdoc.yaml](Python/.woodpecker/pdoc.yaml)                 | Python      | Python venv         | Build API documentation with pdoc & publish files on a pages branch                                                                                                      |
 | [R/.woodpecker.yaml](Typst/.woodpecker.yaml)                                 | R           | R                   | Installs R package dependencies and runs R CMD check                                                                                                                     |
 | [Rust/.woodpecker.yaml](Rust/.woodpecker.yaml)                               | Rust        | cargo               | Simple CI pipeline to run cargo commands                                                                                                                                 |
 | [StandardML/.woodpecker.yaml](StandardML/.woodpecker.yaml)                   | Standard ML | sml                 | Simple CI pipeline to run SML files                                                                                                                                      |
+| [Tectonic/.woodpecker.yaml](Tectonic/.woodpecker.yaml)                       | LaTeX       | Tectonic            | Builds a TeX file and pushes the resulting PDF file to a given repository.                                                                                               |
 | [Typst/.woodpecker.yaml](Typst/.woodpecker.yaml)                             | Typst       | Typst               | Builds a Typst file and pushes the resulting PDF file to a given repository.                                                                                             |
 
 ## More examples from Codeberg