Skip to content

Pull requests: lehoff/kairos

New pull request New
Clear current search query, filters, and sorts
1 Open 7 Closed
1 Open 7 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Tyding up a bit and CI workflow
#14 by gilacost was closed May 16, 2023 Loading…
1 task
Spelling
#13 by jsoref was merged Aug 15, 2019 Loading…
Prepare for building with rebar3
#10 by raghavkarol was merged Feb 24, 2017 Loading…
6
remove gen_leader from list of required applications
#5 by ololoru was closed Jul 4, 2016 Loading…
1
Several dialyzer fixes.
#3 by ddosia was merged Jul 1, 2016 Loading…
3
Return remaining time when stopping a counter.
#2 by lastres was merged Apr 23, 2013 Loading…
Fix server_name type.
#1 by jur0 was merged Jan 11, 2013 Loading…
ProTip! Filter pull requests by the default branch with base:master.