Skip to content

Actions: javapathfinder/jpf-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

gov.nasa.jpf.vm.Allocation.equals: added missing equality check for t… baseline build #201: Commit 6f6500c pushed by cyrille-artho
July 21, 2023 07:03 6m 22s java-10-gradle
java-10-gradle
July 21, 2023 07:03 6m 22s
gov.nasa.jpf.vm.Allocation.equals: added missing equality check for the count field baseline build #200: Pull request #377 opened by zhangwen0411
July 20, 2023 21:11 8m 9s zhangwen0411:allocation-equals-java-10-gradle
zhangwen0411:allocation-equals-java-10-gradle
July 20, 2023 21:11 8m 9s
gov.nasa.jpf.vm.Allocation.equals: added missing equality check for t… baseline build #199: Commit 4735817 pushed by cyrille-artho
July 20, 2023 12:39 5m 50s master
master
July 20, 2023 12:39 5m 50s
Fixed Class.forName for primitive array types; added tests for both p… baseline build #198: Commit 7c362b7 pushed by cyrille-artho
July 20, 2023 08:21 6m 21s java-10-gradle
java-10-gradle
July 20, 2023 08:21 6m 21s
gov.nasa.jpf.vm.Allocation.equals: added missing equality check for the count field baseline build #197: Pull request #376 opened by zhangwen0411
July 20, 2023 08:15 5m 40s zhangwen0411:allocation-equals
zhangwen0411:allocation-equals
July 20, 2023 08:15 5m 40s
Fixed Class.forName for primitive array types baseline build #196: Pull request #375 opened by zhangwen0411
July 19, 2023 21:23 7m 33s zhangwen0411:forname-primitive-array-java-10-gradle
zhangwen0411:forname-primitive-array-java-10-gradle
July 19, 2023 21:23 7m 33s
To Fix #357 - Use '--add-opens' to prevent illegal access warning tha… baseline build #195: Commit 5016b48 pushed by cyrille-artho
July 19, 2023 12:59 8m 55s java-10-gradle
java-10-gradle
July 19, 2023 12:59 8m 55s
Fixed Class.forName for primitive array types; added tests for both p… baseline build #194: Commit db08794 pushed by cyrille-artho
July 19, 2023 12:58 6m 4s master
master
July 19, 2023 12:58 6m 4s
To Fix #357 - Use '--add-opens' to prevent illegal access warning that would have led to errors in higher JDK versions (JDK 16 +) baseline build #193: Pull request #373 opened by varad64
July 18, 2023 19:51 6m 47s varad64:java-10-gradle
varad64:java-10-gradle
July 18, 2023 19:51 6m 47s
Fixed Class.forName for primitive array types baseline build #192: Pull request #372 opened by zhangwen0411
July 18, 2023 08:01 5m 58s zhangwen0411:forname-primitive-array
zhangwen0411:forname-primitive-array
July 18, 2023 08:01 5m 58s
Update gradle wrapper to 8.2.1 to fix #364 (#371) baseline build #191: Commit 6f13d0f pushed by cyrille-artho
July 14, 2023 06:33 9m 2s java-10-gradle
java-10-gradle
July 14, 2023 06:33 9m 2s
Update gradle wrapper to 8.2.1 to fix #364 baseline build #190: Pull request #371 opened by varad64
July 13, 2023 09:15 7m 53s varad64:java-10-gradle
varad64:java-10-gradle
July 13, 2023 09:15 7m 53s