Skip to content

Actions: p-org/P

Actions

PCover on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
481 workflow runs
481 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Cleanup] Merging PEvent with Event PCover on Ubuntu #546: Commit 513a668 pushed by ChristineZh0u
August 22, 2024 06:50 26m 34s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 22, 2024 06:50 26m 34s
Merging PEvent with Event PCover on Ubuntu #545: Commit 34a1fad pushed by ChristineZh0u
August 22, 2024 06:42 26m 59s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 22, 2024 06:42 26m 59s
Merging PEvent with Event PCover on Ubuntu #544: Commit 6f482f0 pushed by ChristineZh0u
August 22, 2024 06:39 2m 34s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 22, 2024 06:39 2m 34s
Merging PEvent with Event PCover on Ubuntu #543: Commit bcacbc7 pushed by ChristineZh0u
August 22, 2024 03:04 26m 15s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 22, 2024 03:04 26m 15s
[Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and movin… PCover on Ubuntu #542: Commit 1567407 pushed by ChristineZh0u
August 21, 2024 23:58 26m 26s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 21, 2024 23:58 26m 26s
[Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and movin… PCover on Ubuntu #541: Commit 1567407 pushed by ankushdesai
August 21, 2024 22:48 26m 10s cleanup/Simplify_PChecker
cleanup/Simplify_PChecker
August 21, 2024 22:48 26m 10s
[Cleanup] Merge P formatters to P checker formatters PCover on Ubuntu #540: Pull request #763 opened by ChristineZh0u
August 21, 2024 22:28 32m 53s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 21, 2024 22:28 32m 53s
[Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and movin… PCover on Ubuntu #539: Commit 8113251 pushed by ChristineZh0u
August 21, 2024 22:26 31m 49s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 21, 2024 22:26 31m 49s
[Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and movin… PCover on Ubuntu #538: Commit ecc4ed3 pushed by ChristineZh0u
August 21, 2024 22:22 29m 44s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 21, 2024 22:22 29m 44s
Fix code comment for previous commit PCover on Ubuntu #537: Commit 412c523 pushed by ChristineZh0u
August 21, 2024 22:21 26m 9s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 21, 2024 22:21 26m 9s
[Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and movin… PCover on Ubuntu #536: Commit ddeb890 pushed by ChristineZh0u
August 21, 2024 22:18 26m 26s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 21, 2024 22:18 26m 26s
Moving PJsonFormatter to PCheckerLogJsonFormatter and moving PLogForm… PCover on Ubuntu #535: Commit ea81dab pushed by ChristineZh0u
August 21, 2024 22:16 25m 53s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 21, 2024 22:16 25m 53s
Prototype Support For Verification (#762) PCover on Ubuntu #534: Commit 5e169f2 pushed by ankushdesai
August 21, 2024 04:41 22m 52s experimental/pverifier
experimental/pverifier
August 21, 2024 04:41 22m 52s
Prototype Support For Verification PCover on Ubuntu #533: Pull request #762 synchronize by ankushdesai
August 21, 2024 04:39 23m 12s FedericoAureliano:master
FedericoAureliano:master
August 21, 2024 04:39 23m 12s
Prototype Support For Verification PCover on Ubuntu #532: Pull request #762 opened by FedericoAureliano
August 21, 2024 04:36 23m 0s FedericoAureliano:master
FedericoAureliano:master
August 21, 2024 04:36 23m 0s
[clean-up] unnecessary option types (#761) PCover on Ubuntu #531: Commit 177ac07 pushed by ankushdesai
August 21, 2024 00:05 26m 1s experimental/pverifier
experimental/pverifier
August 21, 2024 00:05 26m 1s
[Cleanup] Moving ActorRuntime into ControlledRuntime (#760) PCover on Ubuntu #530: Commit 1825fe4 pushed by ChristineZh0u
August 20, 2024 21:13 26m 18s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 20, 2024 21:13 26m 18s
Merging Actor.cs with StateMachine.cs (#757) PCover on Ubuntu #529: Commit 5a68014 pushed by ChristineZh0u
August 20, 2024 21:12 26m 40s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 20, 2024 21:12 26m 40s
Changing all references of actor to state machine PCover on Ubuntu #528: Commit 6ab6f92 pushed by ChristineZh0u
August 20, 2024 21:10 25m 44s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 20, 2024 21:10 25m 44s
[clean-up] unnecessary option types (#761) PCover on Ubuntu #527: Commit 177ac07 pushed by ankushdesai
August 20, 2024 20:28 27m 13s master
master
August 20, 2024 20:28 27m 13s
[clean-up] unnecessary option types PCover on Ubuntu #526: Pull request #761 opened by AD1024
August 20, 2024 17:42 25m 59s AD1024:tiny-tweaks
AD1024:tiny-tweaks
August 20, 2024 17:42 25m 59s
[Cleanup] Moving ActorRuntime into ControlledRuntime (#760) PCover on Ubuntu #525: Commit 1825fe4 pushed by ankushdesai
August 20, 2024 16:29 25m 51s cleanup/Simplify_PChecker
cleanup/Simplify_PChecker
August 20, 2024 16:29 25m 51s
[Cleanup] Moving ActorRuntime into ControlledRuntime PCover on Ubuntu #524: Pull request #760 synchronize by ChristineZh0u
August 19, 2024 23:35 26m 9s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 19, 2024 23:35 26m 9s
Changing all references of actor to state machine PCover on Ubuntu #523: Commit 6ab6f92 pushed by ChristineZh0u
August 19, 2024 23:35 26m 51s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 19, 2024 23:35 26m 51s
[Cleanup] Moving ActorRuntime into ControlledRuntime PCover on Ubuntu #522: Pull request #760 opened by ChristineZh0u
August 16, 2024 23:40 26m 9s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 16, 2024 23:40 26m 9s