Skip to content

Actions: javapathfinder/jpf-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
add SuppressWarnings(removal) against Thread.resume(),Thread.suspend(… baseline build #364: Commit 50557c9 pushed by cyrille-artho
August 4, 2024 10:58 4m 42s java-17
java-17
August 4, 2024 10:58 4m 42s
SuppressWarnings(removal) against Thread.resume(),Thread.suspend() baseline build #363: Pull request #489 opened by eklaDFF
August 3, 2024 21:20 4m 52s eklaDFF:CompWarnThreadPrBranch
eklaDFF:CompWarnThreadPrBranch
August 3, 2024 21:20 4m 52s
replace deprecated Constructor based initialization of primitive type… baseline build #362: Commit 8b0618d pushed by cyrille-artho
August 3, 2024 11:33 4m 44s java-17
java-17
August 3, 2024 11:33 4m 44s
replace deprecated Constructor based initialization of primitive type… baseline build #361: Pull request #488 synchronize by eklaDFF
August 3, 2024 08:37 4m 48s eklaDFF:CompWarnWrapperClassPrBranch
eklaDFF:CompWarnWrapperClassPrBranch
August 3, 2024 08:37 4m 48s
replace deprecated Constructor based initialization of primitive type… baseline build #360: Pull request #488 opened by eklaDFF
August 1, 2024 19:39 4m 46s eklaDFF:CompWarnWrapperClassPrBranch
eklaDFF:CompWarnWrapperClassPrBranch
August 1, 2024 19:39 4m 46s
remove some deprecated methods (#487) baseline build #359: Commit 385eb79 pushed by cyrille-artho
August 1, 2024 07:38 4m 43s java-17
java-17
August 1, 2024 07:38 4m 43s
remove some deprecated methods baseline build #358: Pull request #487 opened by eklaDFF
July 31, 2024 12:09 4m 52s eklaDFF:CompWarnAccessControlPrBranch
eklaDFF:CompWarnAccessControlPrBranch
July 31, 2024 12:09 4m 52s
Add Tests to test java-17 new fatures Sealed Class and Sealed Interfa… baseline build #357: Commit 8fc5193 pushed by cyrille-artho
July 31, 2024 11:28 4m 44s java-17
java-17
July 31, 2024 11:28 4m 44s
Add Tests to test java-17 new fatures Sealed Class and Sealed Interface baseline build #356: Pull request #486 opened by eklaDFF
July 31, 2024 08:04 4m 47s eklaDFF:NewFeatureSealedClassAndInterfaceTestBranch
eklaDFF:NewFeatureSealedClassAndInterfaceTestBranch
July 31, 2024 08:04 4m 47s
Compiler Warning FIX (#481) baseline build #355: Commit 73cddd9 pushed by cyrille-artho
July 24, 2024 09:07 4m 54s java-17
java-17
July 24, 2024 09:07 4m 54s
Compiler Warning FIX baseline build #354: Pull request #481 opened by eklaDFF
July 23, 2024 20:16 4m 53s eklaDFF:CompWarnGetObjectRoughBranch
eklaDFF:CompWarnGetObjectRoughBranch
July 23, 2024 20:16 4m 53s
BufferTest Codes and Changes (#479) baseline build #353: Commit 8292886 pushed by cyrille-artho
July 22, 2024 07:08 4m 50s java-17
java-17
July 22, 2024 07:08 4m 50s
BufferTest Codes and Changes baseline build #352: Pull request #479 synchronize by eklaDFF
July 21, 2024 19:11 4m 43s eklaDFF:BufferTestPRbranch
eklaDFF:BufferTestPRbranch
July 21, 2024 19:11 4m 43s
BufferTest Codes and Changes baseline build #351: Pull request #479 opened by eklaDFF
July 21, 2024 17:01 4m 37s eklaDFF:BufferTestPRbranch
eklaDFF:BufferTestPRbranch
July 21, 2024 17:01 4m 37s
Tests and MethodHandle for Instance and Static Field (#478) baseline build #350: Commit cda21a0 pushed by cyrille-artho
July 21, 2024 15:08 3m 51s java-17
java-17
July 21, 2024 15:08 3m 51s
Tests and MethodHandle for Instance and Static Field baseline build #349: Pull request #478 opened by eklaDFF
July 21, 2024 10:55 3m 34s eklaDFF:MethodHandlesPRbranch
eklaDFF:MethodHandlesPRbranch
July 21, 2024 10:55 3m 34s
Terminate the thread when unhandled exception happens. (#476) baseline build #348: Commit 6233e3b pushed by cyrille-artho
July 17, 2024 17:47 15m 48s master
master
July 17, 2024 17:47 15m 48s
Terminate the thread when unhandled exception happens. baseline build #347: Pull request #476 opened by aoli-al
July 12, 2024 15:44 15m 52s aoli-al:master
aoli-al:master
July 12, 2024 15:44 15m 52s
add weakCompareAndSetRelease(...) method in JPFFieldVarHandle.java (#… baseline build #346: Commit 9ffe02c pushed by cyrille-artho
July 6, 2024 14:46 3m 44s java-17
java-17
July 6, 2024 14:46 3m 44s
add weakCompareAndSetRelease(...) method in JPFFieldVarHandle.java baseline build #345: Pull request #474 opened by eklaDFF
July 6, 2024 08:57 3m 24s eklaDFF:ConcurrentSkipListMapTestBRANCH
eklaDFF:ConcurrentSkipListMapTestBRANCH
July 6, 2024 08:57 3m 24s
System logger branch (#472) baseline build #344: Commit 81917a7 pushed by cyrille-artho
July 2, 2024 09:21 4m 27s java-17
java-17
July 2, 2024 09:21 4m 27s
System logger branch baseline build #343: Pull request #472 opened by eklaDFF
July 2, 2024 08:26 4m 10s eklaDFF:SystemLoggerBRANCH
eklaDFF:SystemLoggerBRANCH
July 2, 2024 08:26 4m 10s
System logger branch (#469) baseline build #342: Commit 7d75269 pushed by cyrille-artho
July 1, 2024 10:57 4m 34s java-17
java-17
July 1, 2024 10:57 4m 34s
System logger branch baseline build #341: Pull request #469 opened by eklaDFF
June 30, 2024 20:42 3m 25s eklaDFF:SystemLoggerBRANCH
eklaDFF:SystemLoggerBRANCH
June 30, 2024 20:42 3m 25s
add getAndBitwiseAndInt(), weakCompareAndSetInt(), and put???Opaque()… baseline build #340: Commit 7ad06f3 pushed by cyrille-artho
June 30, 2024 12:46 3m 38s java-17
java-17
June 30, 2024 12:46 3m 38s