diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-09-28 20:26:15 +0200 |
|---|---|---|
| committer | Rodrigo <rodarima@gmail.com> | 2025-09-28 23:10:55 +0200 |
| commit | fb510ea86be5ceb9e91573890242581fdbd77ad8 (patch) | |
| tree | d819fe40683592008d136727f5a0b03e48dc1164 /9 | |
Diffstat (limited to '9')
| -rw-r--r-- | 9/index.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/9/index.md b/9/index.md new file mode 100644 index 0000000..f9188cd --- /dev/null +++ b/9/index.md @@ -0,0 +1,6 @@ +Title: Add CI with github actions +Author: rodarima +Created: Sun, 10 Dec 2023 23:57:55 +0000 +State: closed + +Adds a CI and fixes some problems with the distcheck target.
\ No newline at end of file |