Skip to content

Actions: ITMO-PTDC-Team/LTest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Substitute std::atomic's with custom LTest implementation (#24) ci #85: Commit 0614801 pushed by Nikkirche
10m 50s master
master
10m 50s
fixes and test ci #84: Commit f2e25f4 pushed by Nikkirche
1h 0m 33s master
master
1h 0m 33s
Added resource mocking pass to simplify termination of tasks ci #83: Pull request #29 opened by Nikkirche
1m 16s Nikkirche:resmock
Nikkirche:resmock
1m 16s
Add a todo comment to the litmus test 6 (it fails which is correct, b… ci #82: Commit 9e2e65c pushed by dmitrii-artuhov
6m 38s dartiukhov/feature/litmus-tests-ci
dartiukhov/feature/litmus-tests-ci
6m 38s
- added support: ci #81: Commit 29c0bcb pushed by BITree2004
10m 53s dual_stack
dual_stack
10m 53s
Substitute std::atomic's with custom LTest implementation (#24) ci #80: Commit 0614801 pushed by lim123123123
8m 45s master
master
8m 45s
Substitute std::atomic's with custom LTest implementation ci #79: Pull request #24 synchronize by lim123123123
8m 18s dmitrii-artuhov:dartiukhov/feature/enable-clangpass-for-atomics
dmitrii-artuhov:dartiukhov/feature/enable-clangpass-for-atomics
8m 18s
Add support for specifying custom rounds (#23) ci #78: Commit 650ccfd pushed by lim123123123
10m 41s master
master
10m 41s
make by default VerifyStart = () -> true ci #77: Commit 04996da pushed by BITree2004
10m 52s dual_stack
dual_stack
10m 52s
fixed bug in condition_variable ci #76: Commit d6fce3e pushed by BITree2004
11m 1s dual_stack
dual_stack
11m 1s
minor fix (added ; in two place) ci #75: Commit a65045f pushed by BITree2004
20m 9s dual_stack
dual_stack
20m 9s
Relax verifier interface constraints to avoid CI failures (VerifyStar… ci #74: Commit 5b3e1e4 pushed by BITree2004
3m 6s dual_stack
dual_stack
3m 6s
Relax verifier interface constraints to avoid CI failures (VerifyStar… ci #73: Commit c96d070 pushed by BITree2004
6m 29s dual_stack
dual_stack
6m 29s
added flag "fail_on_deadlock" + minor fix in CI/CD 1.0 ci #72: Commit a031e74 pushed by BITree2004
10m 41s dual_stack
dual_stack
10m 41s
add support of minimization and minimization_smart ci #71: Commit ff5c6b5 pushed by BITree2004
6m 33s dual_stack
dual_stack
6m 33s
Add support for specifying custom rounds ci #70: Pull request #23 synchronize by dmitrii-artuhov
7m 22s dmitrii-artuhov:dartiukhov/feature/custom-rounds
dmitrii-artuhov:dartiukhov/feature/custom-rounds
7m 22s
Add support for specifying custom rounds ci #69: Pull request #23 synchronize by dmitrii-artuhov
6m 56s dmitrii-artuhov:dartiukhov/feature/custom-rounds
dmitrii-artuhov:dartiukhov/feature/custom-rounds
6m 56s
Add support for specifying custom rounds ci #68: Pull request #23 synchronize by dmitrii-artuhov
6m 42s dmitrii-artuhov:dartiukhov/feature/custom-rounds
dmitrii-artuhov:dartiukhov/feature/custom-rounds
6m 42s
Llvm connection ci #67: Pull request #27 opened by LilClown
30m 21s LilClown:llvm-connection
LilClown:llvm-connection
30m 21s
FIRST MVP is done. REPO before meeting 2 ci #66: Commit 0f6c9d6 pushed by BITree2004
6m 45s dual_stack
dual_stack
6m 45s
FIRST MVP is done. REPO before meeting ci #65: Commit c22bf25 pushed by BITree2004
3m 5s dual_stack
dual_stack
3m 5s
Enabled litmus tests on CI ci #64: Pull request #26 opened by dmitrii-artuhov
6m 31s dartiukhov/feature/litmus-tests-ci
dartiukhov/feature/litmus-tests-ci
6m 31s
Run litmus tests on CI via ctest ci #63: Commit b350839 pushed by dmitrii-artuhov
6m 32s dartiukhov/feature/litmus-tests-ci
dartiukhov/feature/litmus-tests-ci
6m 32s
repo before meeting ci #62: Commit d2194b6 pushed by BITree2004
9m 14s dual_stack
dual_stack
9m 14s
Add basic wmm graph setup with clang-pass ci #61: Pull request #25 opened by dmitrii-artuhov
14m 57s dmitrii-artuhov:dartiukhov/feature/basic-wmm-impl
dmitrii-artuhov:dartiukhov/feature/basic-wmm-impl
14m 57s