index
:
minici
devel
master
[no description]
git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
devel
Version 0.1.6
Roman Smrž
15 months
master
Move CI flags to minici job file
Roman Smrž
3 weeks
Tag
Download
Author
Age
v0.1.9
commit 314bee9534...
Roman Smrž
6 months
v0.1.8
commit f00a603c46...
Roman Smrž
12 months
v0.1.7
commit a56d5c3c75...
Roman Smrž
13 months
v0.1.6
commit 7e8ec38076...
Roman Smrž
15 months
v0.1.5
commit a372c8cf51...
Roman Smrž
15 months
v0.1.4
commit 9236b6571a...
Roman Smrž
17 months
v0.1.3
commit a2ed08ffac...
Roman Smrž
17 months
v0.1.2
commit 30432ddadb...
Roman Smrž
23 months
v0.1.1
commit fd0ca464b5...
Roman Smrž
3 years
v0.1.0
commit d1d9981425...
Roman Smrž
3 years
Age
Commit message
Author
2026-06-06
Move CI flags to minici job file
HEAD
master
Roman Smrž
2026-05-17
Watch branches using more generic expression structure
Roman Smrž
2026-05-17
Repo: merge base and more flexible commit litsing
Roman Smrž
2026-04-05
Test: log when a job is enqueued
Roman Smrž
2026-04-04
Cancel jobs made obsolete by branch move
Roman Smrž
2026-04-04
Simplify task scheduling logic with fewer variables
Roman Smrž
2026-04-01
Set exception handler before returning task
Roman Smrž
2026-03-28
Interface to cancel individual tasks
Roman Smrž
2026-03-28
Task data type
Roman Smrž
2026-03-03
Support GHC 9.14
Roman Smrž
[...]