Skip to content

Actions: UnitTestBot/kosat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
693 workflow runs
693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Visualizer layout improvements CI #93: Pull request #64 opened by elteammate
September 17, 2023 18:59 3s feature/visulizer-layout
feature/visulizer-layout
September 17, 2023 18:59 3s
Wording CI #92: Commit a425b21 pushed by elteammate
September 17, 2023 18:47 22m 4s feature/visulizer-layout
feature/visulizer-layout
September 17, 2023 18:47 22m 4s
Public Interface CI #91: Pull request #63 opened by elteammate
September 6, 2023 20:36 3s feature/public-interface
feature/public-interface
September 6, 2023 20:36 3s
Doc comments CI #90: Commit 56e0002 pushed by elteammate
September 6, 2023 20:27 22m 18s feature/public-interface
feature/public-interface
September 6, 2023 20:27 22m 18s
Fix assignment due to incremental addition of unit clauses CI #89: Pull request #62 opened by elteammate
September 5, 2023 19:21 3s feature/unit-reconstruction-fix
feature/unit-reconstruction-fix
September 5, 2023 19:21 3s
Fix assignment with incremental addition of unit clauses with elimina… CI #88: Commit 09c898f pushed by elteammate
September 5, 2023 19:08 21m 58s feature/unit-reconstruction-fix
feature/unit-reconstruction-fix
September 5, 2023 19:08 21m 58s
Lazily add clauses CI #87: Pull request #61 opened by elteammate
September 4, 2023 20:43 3s feature/lazy-clauses
feature/lazy-clauses
September 4, 2023 20:43 3s
Lazily add clauses CI #86: Commit a5cb1d1 pushed by elteammate
September 4, 2023 20:24 24m 11s feature/lazy-clauses
feature/lazy-clauses
September 4, 2023 20:24 24m 11s
pages build and deployment pages-build-deployment #44: by github-pages bot
August 31, 2023 15:11 58s
August 31, 2023 15:11 58s
Dokka documentation (#60) CI #85: Commit 0d137e7 pushed by Lipen
August 31, 2023 14:55 27m 22s dev
dev
August 31, 2023 14:55 27m 22s
Dokka documentation CI #84: Pull request #60 opened by elteammate
August 31, 2023 10:44 3s feature/dokka
feature/dokka
August 31, 2023 10:44 3s
Deploy docs from dokka CI #83: Commit 2074cda pushed by elteammate
August 31, 2023 10:42 17m 56s feature/dokka
feature/dokka
August 31, 2023 10:42 17m 56s
Improvements of CDCL public interface CI #82: Pull request #59 opened by elteammate
August 31, 2023 09:09 3s feature/interface
feature/interface
August 31, 2023 09:09 3s
New Line CI #81: Commit e12bef6 pushed by elteammate
August 31, 2023 09:08 25m 17s feature/interface
feature/interface
August 31, 2023 09:08 25m 17s
Interface improvements CI #80: Commit f596d4d pushed by elteammate
August 31, 2023 09:05 5m 52s feature/interface
feature/interface
August 31, 2023 09:05 5m 52s
pages build and deployment pages-build-deployment #43: by github-pages bot
August 30, 2023 18:57 56s
August 30, 2023 18:57 56s
pages build and deployment pages-build-deployment #42: by github-pages bot
August 30, 2023 18:54 56s
August 30, 2023 18:54 56s
Fix representation of Lit CI #79: Commit e7bf29b pushed by Lipen
August 30, 2023 18:45 22m 30s dev
dev
August 30, 2023 18:45 22m 30s
Update README CI #78: Commit 4d69f8b pushed by Lipen
August 30, 2023 18:40 24m 47s dev
dev
August 30, 2023 18:40 24m 47s
pages build and deployment pages-build-deployment #41: by github-pages bot
August 30, 2023 18:31 1m 1s
August 30, 2023 18:31 1m 1s
Internal optimizations and CLI (#43) CI #77: Commit 81da4b0 pushed by Lipen
August 30, 2023 18:18 25m 8s dev
dev
August 30, 2023 18:18 25m 8s
Internal optimizations and CLI CI #76: Pull request #43 synchronize by Lipen
August 30, 2023 17:21 3s feature/cli
feature/cli
August 30, 2023 17:21 3s
Fix kosat binary execution permissions CI #75: Commit 756eb95 pushed by Lipen
August 30, 2023 17:21 22m 15s feature/cli
feature/cli
August 30, 2023 17:21 22m 15s
Internal optimizations and CLI CI #74: Pull request #43 synchronize by Lipen
August 30, 2023 16:58 3s feature/cli
feature/cli
August 30, 2023 16:58 3s
Fix (again) bug with max var index CI #73: Commit 8cf33de pushed by Lipen
August 30, 2023 16:58 26m 11s feature/cli
feature/cli
August 30, 2023 16:58 26m 11s