Skip to content

Actions: vorpal-research/kex

Actions

JDK 17 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jdk17-ci.yml
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #108 from ilma4/mocks JDK 17 CI #37: Commit 6046dc2 pushed by AbdullinAM
April 30, 2024 14:10 3m 36s master
master
April 30, 2024 14:10 3m 36s
Mocking JDK 17 CI #36: Pull request #108 synchronize by AbdullinAM
April 30, 2024 14:06 3m 32s ilma4:mocks
ilma4:mocks
April 30, 2024 14:06 3m 32s
more refactoring JDK 17 CI #35: Commit f1279a1 pushed by AbdullinAM
April 30, 2024 13:37 19m 45s master
master
April 30, 2024 13:37 19m 45s
Merge pull request #109 from AndreiIurko/kex_with_assertions JDK 17 CI #34: Commit dea9292 pushed by AbdullinAM
April 30, 2024 08:26 22m 21s master
master
April 30, 2024 08:26 22m 21s
Merge pull request #106 from Mike-Wazovsky/symbolic_path_selector JDK 17 CI #33: Commit b761e7c pushed by AbdullinAM
April 30, 2024 08:25 20m 32s master
master
April 30, 2024 08:25 20m 32s
New symbolic path selectors JDK 17 CI #32: Pull request #106 synchronize by Mike-Wazovsky
April 26, 2024 11:29 20m 41s Mike-Wazovsky:symbolic_path_selector
Mike-Wazovsky:symbolic_path_selector
April 26, 2024 11:29 20m 41s
Mocking JDK 17 CI #31: Pull request #108 synchronize by ilma4
April 25, 2024 10:23 38m 57s ilma4:mocks
ilma4:mocks
April 25, 2024 10:23 38m 57s
fix process IO JDK 17 CI #30: Commit e41d05f pushed by AbdullinAM
April 22, 2024 15:21 23m 24s master
master
April 22, 2024 15:21 23m 24s
fix #110: allow KexTest to use all the classes from the classpath JDK 17 CI #29: Commit bb4d048 pushed by AbdullinAM
April 22, 2024 09:27 21m 50s master
master
April 22, 2024 09:27 21m 50s
Assertions JDK 17 CI #28: Pull request #109 synchronize by AndreiIurko
April 18, 2024 18:17 25m 8s AndreiIurko:kex_with_assertions
AndreiIurko:kex_with_assertions
April 18, 2024 18:17 25m 8s
Assertions JDK 17 CI #25: Pull request #109 opened by AndreiIurko
April 8, 2024 06:46 27m 37s AndreiIurko:kex_with_assertions
AndreiIurko:kex_with_assertions
April 8, 2024 06:46 27m 37s
New symbolic path selectors JDK 17 CI #24: Pull request #106 synchronize by Mike-Wazovsky
April 4, 2024 13:48 1m 47s Mike-Wazovsky:symbolic_path_selector
Mike-Wazovsky:symbolic_path_selector
April 4, 2024 13:48 1m 47s
m JDK 17 CI #22: Commit ba00164 pushed by AbdullinAM
March 22, 2024 14:21 19m 49s master
master
March 22, 2024 14:21 19m 49s
v0.0.2 JDK 17 CI #21: Commit 79a54a8 pushed by AbdullinAM
March 20, 2024 16:26 21m 15s master
master
March 20, 2024 16:26 21m 15s
We can run kex from any directory now (at least using kex.py), not ju… JDK 17 CI #20: Commit 55b7ca8 pushed by AbdullinAM
March 20, 2024 11:16 23m 40s master
master
March 20, 2024 11:16 23m 40s
New symbolic path selectors JDK 17 CI #19: Pull request #106 synchronize by Mike-Wazovsky
March 11, 2024 09:34 26m 18s Mike-Wazovsky:symbolic_path_selector
Mike-Wazovsky:symbolic_path_selector
March 11, 2024 09:34 26m 18s
correct rt version for JVM > 1.8 JDK 17 CI #18: Commit c18ad04 pushed by AbdullinAM
March 8, 2024 09:58 19m 47s master
master
March 8, 2024 09:58 19m 47s
support access to static final fields in reanimator JDK 17 CI #17: Commit 9d2c199 pushed by AbdullinAM
March 7, 2024 16:16 20m 50s master
master
March 7, 2024 16:16 20m 50s
fix JDK 17 CI #16: Commit 5f2f488 pushed by AbdullinAM
February 28, 2024 14:57 19m 23s master
master
February 28, 2024 14:57 19m 23s
m JDK 17 CI #15: Commit b13d215 pushed by AbdullinAM
February 22, 2024 14:32 17m 54s master
master
February 22, 2024 14:32 17m 54s
m JDK 17 CI #14: Commit 3283d04 pushed by AbdullinAM
February 22, 2024 14:07 23m 9s master
master
February 22, 2024 14:07 23m 9s
using correct JDK to run workers JDK 17 CI #13: Commit bb8be5e pushed by AbdullinAM
February 22, 2024 13:42 18m 30s master
master
February 22, 2024 13:42 18m 30s
using correct JDK to run workers JDK 17 CI #12: Commit 5625e2e pushed by AbdullinAM
February 22, 2024 12:47 19m 18s master
master
February 22, 2024 12:47 19m 18s
rollback ksmt version JDK 17 CI #11: Commit 9a5d6f4 pushed by AbdullinAM
February 13, 2024 17:29 20m 4s master
master
February 13, 2024 17:29 20m 4s
new maven repo URL JDK 17 CI #10: Commit 6b2b51f pushed by AbdullinAM
February 13, 2024 17:04 24m 26s master
master
February 13, 2024 17:04 24m 26s