Skip to content

Actions: vorpal-research/kex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

some refactoring + new kfg and kt-helper JDK 11 CI #38: Commit d44cb69 pushed by AbdullinAM
August 3, 2023 14:34 34s master
master
August 3, 2023 14:34 34s
some refactoring + new kfg and kt-helper JDK 8 CI #38: Commit d44cb69 pushed by AbdullinAM
August 3, 2023 14:34 35s master
master
August 3, 2023 14:34 35s
some variance for tests JDK 8 CI #37: Commit 98adb83 pushed by AbdullinAM
August 1, 2023 12:35 40m 8s master
master
August 1, 2023 12:35 40m 8s
some variance for tests JDK 11 CI #37: Commit 98adb83 pushed by AbdullinAM
August 1, 2023 12:35 39m 8s master
master
August 1, 2023 12:35 39m 8s
subtyping cache with strings to prevent memory leaking JDK 11 CI #36: Commit c479e71 pushed by AbdullinAM
July 31, 2023 15:16 41m 33s master
master
July 31, 2023 15:16 41m 33s
subtyping cache with strings to prevent memory leaking JDK 8 CI #36: Commit c479e71 pushed by AbdullinAM
July 31, 2023 15:16 39m 5s master
master
July 31, 2023 15:16 39m 5s
Merge pull request #90 from ArtemUntila/refactor-gui JDK 8 CI #35: Commit 4649c69 pushed by AbdullinAM
July 31, 2023 06:48 59m 13s master
master
July 31, 2023 06:48 59m 13s
Merge pull request #90 from ArtemUntila/refactor-gui JDK 11 CI #35: Commit 4649c69 pushed by AbdullinAM
July 31, 2023 06:48 41m 6s master
master
July 31, 2023 06:48 41m 6s
Refactor GUI JDK 11 CI #34: Pull request #90 opened by ArtemUntila
July 30, 2023 12:58 56m 15s ArtemUntila:refactor-gui
ArtemUntila:refactor-gui
July 30, 2023 12:58 56m 15s
Refactor GUI JDK 8 CI #34: Pull request #90 opened by ArtemUntila
July 30, 2023 12:58 48m 20s ArtemUntila:refactor-gui
ArtemUntila:refactor-gui
July 30, 2023 12:58 48m 20s
bigger time limit for symbolic tests? JDK 8 CI #33: Commit 40fbc77 pushed by AbdullinAM
July 28, 2023 10:12 52m 30s master
master
July 28, 2023 10:12 52m 30s
bigger time limit for symbolic tests? JDK 11 CI #33: Commit 40fbc77 pushed by AbdullinAM
July 28, 2023 10:12 50m 13s master
master
July 28, 2023 10:12 50m 13s
m JDK 8 CI #32: Commit 36eebfa pushed by AbdullinAM
July 28, 2023 09:30 53m 32s master
master
July 28, 2023 09:30 53m 32s
m JDK 11 CI #32: Commit 36eebfa pushed by AbdullinAM
July 28, 2023 09:30 40m 44s master
master
July 28, 2023 09:30 40m 44s
transformer that adds basic invariants every time JDK 11 CI #31: Commit 81ca8c2 pushed by AbdullinAM
July 28, 2023 09:16 48m 29s master
master
July 28, 2023 09:16 48m 29s
transformer that adds basic invariants every time JDK 8 CI #31: Commit 81ca8c2 pushed by AbdullinAM
July 28, 2023 09:16 38m 16s master
master
July 28, 2023 09:16 38m 16s
bigger time limit for symbolic tests JDK 11 CI #30: Commit d7ce96d pushed by AbdullinAM
July 27, 2023 08:28 39m 1s master
master
July 27, 2023 08:28 39m 1s
bigger time limit for symbolic tests JDK 8 CI #30: Commit d7ce96d pushed by AbdullinAM
July 27, 2023 08:28 38m 42s master
master
July 27, 2023 08:28 38m 42s
fix expected coverage JDK 8 CI #29: Commit 06868d0 pushed by AbdullinAM
July 26, 2023 13:35 36m 3s master
master
July 26, 2023 13:35 36m 3s
fix expected coverage JDK 11 CI #29: Commit 06868d0 pushed by AbdullinAM
July 26, 2023 13:35 33m 16s master
master
July 26, 2023 13:35 33m 16s
fix contains intrinsic handling JDK 8 CI #28: Commit 4e11e07 pushed by AbdullinAM
July 26, 2023 13:07 41m 46s master
master
July 26, 2023 13:07 41m 46s
fix contains intrinsic handling JDK 11 CI #28: Commit 4e11e07 pushed by AbdullinAM
July 26, 2023 13:07 37m 0s master
master
July 26, 2023 13:07 37m 0s
new kt-helper + try smaller timeouts JDK 8 CI #27: Commit 6b463bc pushed by AbdullinAM
July 25, 2023 09:05 36m 44s master
master
July 25, 2023 09:05 36m 44s
new kt-helper + try smaller timeouts JDK 11 CI #27: Commit 6b463bc pushed by AbdullinAM
July 25, 2023 09:05 38m 38s master
master
July 25, 2023 09:05 38m 38s
fix context guided selector JDK 11 CI #26: Commit ce1c6f8 pushed by AbdullinAM
July 24, 2023 15:06 6m 37s master
master
July 24, 2023 15:06 6m 37s
ProTip! You can narrow down the results and go further in time using created:<2023-07-24 or the other filters available.