Skip to content

Actions: p-org/P

Actions

PSym on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
psym.yml
735 workflow runs
735 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/cleanup/Simplify_PChecker' into … PSym on Ubuntu #968: Commit 9ffa90a pushed by ChristineZh0u
August 16, 2024 23:04 2m 20s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 16, 2024 23:04 2m 20s
Merge conflict resolve PSym on Ubuntu #967: Commit eb2ef60 pushed by ChristineZh0u
August 16, 2024 22:42 27m 21s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 16, 2024 22:42 27m 21s
Merging ActorRuntime into ControlledRuntime PSym on Ubuntu #966: Commit ea10f9a pushed by ChristineZh0u
August 16, 2024 22:30 27m 29s cleanup/Simplify_PChecker_Removing_ActorRuntime
cleanup/Simplify_PChecker_Removing_ActorRuntime
August 16, 2024 22:30 27m 29s
Merging ActorRuntime into ControlledRuntime PSym on Ubuntu #965: Commit 007db0d pushed by ChristineZh0u
August 16, 2024 06:10 27m 53s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 16, 2024 06:10 27m 53s
merging ActorRuntime with ControlledRuntime PSym on Ubuntu #964: Commit f4a4f76 pushed by ChristineZh0u
August 16, 2024 05:56 28m 12s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 16, 2024 05:56 28m 12s
Remove the bug that allows function name and state name be same. (#759) PSym on Ubuntu #963: Commit 2011ffa pushed by ankushdesai
August 15, 2024 21:49 28m 6s master
master
August 15, 2024 21:49 28m 6s
Remove the bug that allows function name and state name be same. PSym on Ubuntu #962: Pull request #759 opened by ankushdesai
August 15, 2024 20:56 28m 39s bugFix/CompilerBug_2
bugFix/CompilerBug_2
August 15, 2024 20:56 28m 39s
Remove the bug that allows function name and state name be same. PSym on Ubuntu #961: Commit adb1351 pushed by ankushdesai
August 15, 2024 20:55 28m 20s bugFix/CompilerBug_2
bugFix/CompilerBug_2
August 15, 2024 20:55 28m 20s
Merging Actor.cs with StateMachine.cs (#757) PSym on Ubuntu #960: Commit 5a68014 pushed by ankushdesai
August 15, 2024 20:37 27m 22s cleanup/Simplify_PChecker
cleanup/Simplify_PChecker
August 15, 2024 20:37 27m 22s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #959: Pull request #757 synchronize by ankushdesai
August 15, 2024 20:13 34m 16s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 20:13 34m 16s
Merge branch 'cleanup/Simplify_PChecker' into cleanup/Simplify_PCheck… PSym on Ubuntu #958: Commit d8b2905 pushed by ankushdesai
August 15, 2024 20:13 28m 42s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 20:13 28m 42s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #957: Pull request #757 synchronize by ChristineZh0u
August 15, 2024 19:54 46m 23s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:54 46m 23s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #956: Commit 645624d pushed by ChristineZh0u
August 15, 2024 19:54 33m 42s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:54 33m 42s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #955: Pull request #757 synchronize by ChristineZh0u
August 15, 2024 19:53 30m 9s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:53 30m 9s
fixing actor comment PSym on Ubuntu #954: Commit b19bfcd pushed by ChristineZh0u
August 15, 2024 19:52 27m 53s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:52 27m 53s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #953: Pull request #757 synchronize by ChristineZh0u
August 15, 2024 19:47 27m 56s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:47 27m 56s
fixing PSym on Ubuntu #952: Commit 252da48 pushed by ChristineZh0u
August 15, 2024 19:47 28m 4s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:47 28m 4s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #951: Pull request #757 synchronize by ChristineZh0u
August 15, 2024 19:13 28m 13s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:13 28m 13s
changing comments actor to statemachine PSym on Ubuntu #950: Commit 669b17c pushed by ChristineZh0u
August 15, 2024 19:13 27m 59s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 15, 2024 19:13 27m 59s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #949: Pull request #757 opened by ChristineZh0u
August 14, 2024 18:36 28m 40s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 14, 2024 18:36 28m 40s
Merging Actor.cs with StateMachine.cs PSym on Ubuntu #948: Commit a9102fd pushed by ChristineZh0u
August 14, 2024 18:17 27m 36s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 14, 2024 18:17 27m 36s
remove commented code PSym on Ubuntu #947: Commit f67b723 pushed by ChristineZh0u
August 14, 2024 18:14 27m 55s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 14, 2024 18:14 27m 55s
cleanup state machine PSym on Ubuntu #946: Commit 44a2831 pushed by ChristineZh0u
August 14, 2024 17:11 28m 35s cleanup/Simplify_PChecker_Christine
cleanup/Simplify_PChecker_Christine
August 14, 2024 17:11 28m 35s
Fixed a bug related to duplicate bindings (#756) PSym on Ubuntu #945: Commit 57d200e pushed by ankushdesai
August 12, 2024 23:29 27m 18s p-2.2.2
p-2.2.2
August 12, 2024 23:29 27m 18s
Fixed a bug related to duplicate bindings (#756) PSym on Ubuntu #944: Commit 57d200e pushed by ankushdesai
August 12, 2024 23:26 27m 41s master
master
August 12, 2024 23:26 27m 41s