Merge pull request #12 from gares/prepare-release

prepare release
gares · Nov 6, 2024 · 68eb770 · 68eb770
2 parents a5ec48e + 63f11e0
commit 68eb770
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/ChangeLog.md b/ChangeLog.md
@@ -1,6 +1,7 @@
-# UNRELEASED
+# v0.5.0 - 07/11/2024
 
 - Resilient to multiple copies of the same event on the same file descriptor
+- A system event is given enough rounds to complete if his priority is the lowest
 
 # v0.4.0 - 03/7/2023
 

diff --git a/Makefile b/Makefile
@@ -0,0 +1,13 @@
+all:
+	dune build
+
+install:
+	dune install
+
+test:
+	dune runtest
+
+release:
+	dune-release -p sel
+
+.PHONY: test