Skip to content

Actions: vorpal-research/kex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow run results
64 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update kex.ini JDK 8 CI #88: Commit 06f954c pushed by AbdullinAM
January 5, 2024 16:26 30m 37s master
master
January 5, 2024 16:26 30m 37s
Update kex.ini JDK 11 CI #88: Commit 06f954c pushed by AbdullinAM
January 5, 2024 16:26 34m 16s master
master
January 5, 2024 16:26 34m 16s
Merge pull request #98 from Mike-Wazovsky/test-suite-minimization JDK 8 CI #87: Commit 1e16733 pushed by AbdullinAM
January 5, 2024 16:25 1m 40s master
master
January 5, 2024 16:25 1m 40s
Merge pull request #98 from Mike-Wazovsky/test-suite-minimization JDK 11 CI #87: Commit 1e16733 pushed by AbdullinAM
January 5, 2024 16:25 1m 33s master
master
January 5, 2024 16:25 1m 33s
m JDK 11 CI #86: Commit 7a7619f pushed by AbdullinAM
January 4, 2024 18:20 32m 35s master
master
January 4, 2024 18:20 32m 35s
m JDK 8 CI #86: Commit 7a7619f pushed by AbdullinAM
January 4, 2024 18:20 32m 46s master
master
January 4, 2024 18:20 32m 46s
Test suite minimization JDK 11 CI #85: Pull request #98 synchronize by Mike-Wazovsky
January 2, 2024 16:03 29m 59s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
January 2, 2024 16:03 29m 59s
Test suite minimization JDK 8 CI #85: Pull request #98 synchronize by Mike-Wazovsky
January 2, 2024 16:03 33m 17s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
January 2, 2024 16:03 33m 17s
better test include filter in KfgClassLoader JDK 8 CI #84: Commit 9e86d80 pushed by AbdullinAM
December 20, 2023 12:12 31m 57s master
master
December 20, 2023 12:12 31m 57s
better test include filter in KfgClassLoader JDK 11 CI #84: Commit 9e86d80 pushed by AbdullinAM
December 20, 2023 12:12 30m 38s master
master
December 20, 2023 12:12 30m 38s
Merge pull request #102 from niyaznigmatullin/array_domain_assign_null JDK 11 CI #83: Commit e793392 pushed by AbdullinAM
December 11, 2023 10:36 31m 58s master
master
December 11, 2023 10:36 31m 58s
Merge pull request #102 from niyaznigmatullin/array_domain_assign_null JDK 8 CI #83: Commit e793392 pushed by AbdullinAM
December 11, 2023 10:36 29m 14s master
master
December 11, 2023 10:36 29m 14s
Fix ArrayDomain.assign(NullityDomain) JDK 8 CI #82: Pull request #102 opened by niyaznigmatullin
December 8, 2023 14:31 32m 1s niyaznigmatullin:array_domain_assign_null
niyaznigmatullin:array_domain_assign_null
December 8, 2023 14:31 32m 1s
Fix ArrayDomain.assign(NullityDomain) JDK 11 CI #82: Pull request #102 opened by niyaznigmatullin
December 8, 2023 14:31 29m 16s niyaznigmatullin:array_domain_assign_null
niyaznigmatullin:array_domain_assign_null
December 8, 2023 14:31 29m 16s
Merge pull request #101 from niyaznigmatullin/store_printing JDK 8 CI #81: Commit 84ec1e1 pushed by AbdullinAM
December 7, 2023 16:40 27m 31s master
master
December 7, 2023 16:40 27m 31s
Merge pull request #101 from niyaznigmatullin/store_printing JDK 11 CI #81: Commit 84ec1e1 pushed by AbdullinAM
December 7, 2023 16:40 31m 45s master
master
December 7, 2023 16:40 31m 45s
Merge pull request #100 from niyaznigmatullin/null_instanceof JDK 11 CI #80: Commit a7aab55 pushed by AbdullinAM
December 7, 2023 16:38 31m 55s master
master
December 7, 2023 16:38 31m 55s
Merge pull request #100 from niyaznigmatullin/null_instanceof JDK 8 CI #80: Commit a7aab55 pushed by AbdullinAM
December 7, 2023 16:38 34m 3s master
master
December 7, 2023 16:38 34m 3s
Merge pull request #99 from niyaznigmatullin/double_compare JDK 11 CI #79: Commit dbaf0e3 pushed by AbdullinAM
December 7, 2023 16:37 30m 28s master
master
December 7, 2023 16:37 30m 28s
Merge pull request #99 from niyaznigmatullin/double_compare JDK 8 CI #79: Commit dbaf0e3 pushed by AbdullinAM
December 7, 2023 16:37 35m 38s master
master
December 7, 2023 16:37 35m 38s
Use := instead of = for store predicates JDK 8 CI #78: Pull request #101 opened by niyaznigmatullin
December 7, 2023 16:22 32m 44s niyaznigmatullin:store_printing
niyaznigmatullin:store_printing
December 7, 2023 16:22 32m 44s
Use := instead of = for store predicates JDK 11 CI #78: Pull request #101 opened by niyaznigmatullin
December 7, 2023 16:22 30m 8s niyaznigmatullin:store_printing
niyaznigmatullin:store_printing
December 7, 2023 16:22 30m 8s
Make domain for instanceof of null JDK 11 CI #77: Pull request #100 opened by niyaznigmatullin
December 7, 2023 14:15 29m 6s niyaznigmatullin:null_instanceof
niyaznigmatullin:null_instanceof
December 7, 2023 14:15 29m 6s
Make domain for instanceof of null JDK 8 CI #77: Pull request #100 opened by niyaznigmatullin
December 7, 2023 14:15 33m 0s niyaznigmatullin:null_instanceof
niyaznigmatullin:null_instanceof
December 7, 2023 14:15 33m 0s
Add abs call to double comparison JDK 8 CI #76: Pull request #99 opened by niyaznigmatullin
December 7, 2023 14:11 29m 45s niyaznigmatullin:double_compare
niyaznigmatullin:double_compare
December 7, 2023 14:11 29m 45s