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

fix context guided selector JDK 8 CI #26: Commit ce1c6f8 pushed by AbdullinAM
July 24, 2023 15:06 6m 8s master
master
July 24, 2023 15:06 6m 8s
fix random seed for SMT JDK 8 CI #25: Commit 60f999f pushed by AbdullinAM
July 19, 2023 14:57 42m 24s master
master
July 19, 2023 14:57 42m 24s
fix random seed for SMT JDK 11 CI #25: Commit 60f999f pushed by AbdullinAM
July 19, 2023 14:57 44m 46s master
master
July 19, 2023 14:57 44m 46s
test fixes JDK 11 CI #24: Commit 681b7d0 pushed by AbdullinAM
July 19, 2023 10:46 47m 19s master
master
July 19, 2023 10:46 47m 19s
test fixes JDK 8 CI #24: Commit 681b7d0 pushed by AbdullinAM
July 19, 2023 10:46 49m 40s master
master
July 19, 2023 10:46 49m 40s
Merge pull request #89 from niyaznigmatullin/bump-kt-helper JDK 11 CI #23: Commit 4e845c8 pushed by AbdullinAM
July 18, 2023 13:51 47m 13s master
master
July 18, 2023 13:51 47m 13s
Merge pull request #89 from niyaznigmatullin/bump-kt-helper JDK 8 CI #23: Commit 4e845c8 pushed by AbdullinAM
July 18, 2023 13:51 50m 59s master
master
July 18, 2023 13:51 50m 59s
Bump kt-helper version to 0.1.10 JDK 11 CI #22: Pull request #89 opened by niyaznigmatullin
July 18, 2023 13:13 54m 24s niyaznigmatullin:bump-kt-helper
niyaznigmatullin:bump-kt-helper
July 18, 2023 13:13 54m 24s
Bump kt-helper version to 0.1.10 JDK 8 CI #22: Pull request #89 opened by niyaznigmatullin
July 18, 2023 13:13 46m 16s niyaznigmatullin:bump-kt-helper
niyaznigmatullin:bump-kt-helper
July 18, 2023 13:13 46m 16s
Merge pull request #88 from vorpal-research/incremental-memory-support JDK 11 CI #21: Commit 85fbdbe pushed by AbdullinAM
July 18, 2023 13:09 51m 25s master
master
July 18, 2023 13:09 51m 25s
Merge pull request #88 from vorpal-research/incremental-memory-support JDK 8 CI #21: Commit 85fbdbe pushed by AbdullinAM
July 18, 2023 13:09 50m 31s master
master
July 18, 2023 13:09 50m 31s
implementation of #87 JDK 11 CI #20: Pull request #88 opened by AbdullinAM
July 18, 2023 12:21 57m 39s incremental-memory-support
incremental-memory-support
July 18, 2023 12:21 57m 39s
implementation of #87 JDK 8 CI #20: Pull request #88 opened by AbdullinAM
July 18, 2023 12:21 45m 39s incremental-memory-support
incremental-memory-support
July 18, 2023 12:21 45m 39s
fix formulae printing in KSMT JDK 8 CI #19: Commit eae28c1 pushed by AbdullinAM
July 18, 2023 11:03 47m 27s master
master
July 18, 2023 11:03 47m 27s
fix formulae printing in KSMT JDK 11 CI #19: Commit eae28c1 pushed by AbdullinAM
July 18, 2023 11:03 50m 16s master
master
July 18, 2023 11:03 50m 16s
fixes in SMT and inlining JDK 8 CI #18: Commit f2eddf2 pushed by AbdullinAM
July 6, 2023 13:00 51m 39s master
master
July 6, 2023 13:00 51m 39s
fixes in SMT and inlining JDK 11 CI #18: Commit f2eddf2 pushed by AbdullinAM
July 6, 2023 13:00 55m 31s master
master
July 6, 2023 13:00 55m 31s
speed up crash reproduction by back-propagating info about found cases JDK 8 CI #17: Commit a233ce0 pushed by AbdullinAM
July 5, 2023 14:59 47m 20s master
master
July 5, 2023 14:59 47m 20s
speed up crash reproduction by back-propagating info about found cases JDK 11 CI #17: Commit a233ce0 pushed by AbdullinAM
July 5, 2023 14:59 42m 37s master
master
July 5, 2023 14:59 42m 37s
Merge pull request #86 from vorpal-research/async-crash-reproduction JDK 11 CI #16: Commit f52d813 pushed by AbdullinAM
July 5, 2023 08:45 1h 1m 27s master
master
July 5, 2023 08:45 1h 1m 27s
Merge pull request #86 from vorpal-research/async-crash-reproduction JDK 8 CI #16: Commit f52d813 pushed by AbdullinAM
July 5, 2023 08:45 57m 3s master
master
July 5, 2023 08:45 57m 3s
Async crash reproduction JDK 8 CI #15: Pull request #86 opened by AbdullinAM
July 5, 2023 08:44 56m 0s async-crash-reproduction
async-crash-reproduction
July 5, 2023 08:44 56m 0s
Async crash reproduction JDK 11 CI #15: Pull request #86 opened by AbdullinAM
July 5, 2023 08:44 1h 0m 13s async-crash-reproduction
async-crash-reproduction
July 5, 2023 08:44 1h 0m 13s
Merge pull request #85 from vorpal-research/async-crash-reproduction JDK 8 CI #14: Commit 3170fc2 pushed by AbdullinAM
June 29, 2023 12:28 58m 11s master
master
June 29, 2023 12:28 58m 11s
Merge pull request #85 from vorpal-research/async-crash-reproduction JDK 11 CI #14: Commit 3170fc2 pushed by AbdullinAM
June 29, 2023 12:28 55m 13s master
master
June 29, 2023 12:28 55m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-06-29 or the other filters available.