TheCloud/ci-examples
1
0
Fork 0
mirror of https://codeberg.org/Codeberg-CI/examples.git synced 2025-09-09 11:54:55 -04:00
Code Issues Packages Projects Releases Wiki Activity

feat: Idris (#51)

Browse Source 
I had to sort the entries in the README table to be able to insert my own in alphabetical order.

Reviewed-on: https://codeberg.org/Codeberg-CI/examples/pulls/51
Co-authored-by: Stefano Volpe <foxy@teapot.ovh>
Co-committed-by: Stefano Volpe <foxy@teapot.ovh>
This commit is contained in:
Stefano Volpe 2024-04-22 18:44:16 +00:00 committed by Patrick Schratz
parent 6fe8ac5989
commit b9c67426af
3 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.woodpecker.yaml
View File

@ -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

7
Idris/.woodpecker.yaml Normal file
View File

@ -0,0 +1,7 @@
steps:
build:
image: snazzybucket/idris2
commands: idris2 --typecheck --mkdoc
when:
event: push
branch: main

11
README.md
View File

@ -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