summaryrefslogtreecommitdiff
path: root/.github/workflows (follow)
Commit message (Expand)AuthorAgeFilesLines
* ci: also trigger the github workflow if C files are modifiedGravatar Vincent Rischmann2021-03-131-0/+4
* ci: add a lint GitHub stepGravatar Vincent Rischmann2021-02-271-0/+9
* ci: test both in-memory and filesystemGravatar Vincent Rischmann2021-01-241-2/+2
* ci: rename is_ci to in_memoryGravatar Vincent Rischmann2020-12-281-1/+4
* only Linux is supportedGravatar Vincent Rischmann2020-12-221-1/+1
* add the github workflowGravatar Vincent Rischmann2020-12-221-0/+30