Skip to content

Actions: mchadalavada/P

Actions

PCover on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pcover.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'p-org:master' into master PCover on Ubuntu #29: Commit d59de38 pushed by mchadalavada
June 29, 2024 07:38 26m 50s master
master
June 29, 2024 07:38 26m 50s
Remove optional parameters in monitor PCover on Ubuntu #28: Commit 79f4eb8 pushed by mchadalavada
June 29, 2024 00:10 25m 44s master
master
June 29, 2024 00:10 25m 44s
Make monitor a serializle object PCover on Ubuntu #27: Commit 03401ac pushed by mchadalavada
June 29, 2024 00:02 25m 50s master
master
June 29, 2024 00:02 25m 50s
Updating import from Plang to PChecker (#742) PCover on Ubuntu #26: Commit e629bad pushed by mchadalavada
June 21, 2024 18:22 25m 56s master
master
June 21, 2024 18:22 25m 56s
Make PMachines in java generated code serializable PCover on Ubuntu #25: Commit 9bc0184 pushed by mchadalavada
May 20, 2024 18:41 25m 57s master
master
May 20, 2024 18:41 25m 57s
Merge branch 'p-org:master' into master PCover on Ubuntu #24: Commit 84d01d3 pushed by mchadalavada
May 20, 2024 17:49 25m 50s master
master
May 20, 2024 17:49 25m 50s
Make PEvents and PTypes serializable in java PCover on Ubuntu #23: Commit 0af3b5e pushed by mchadalavada
May 3, 2024 18:03 25m 48s master
master
May 3, 2024 18:03 25m 48s
Make PEvents and PTypes serializable in java PCover on Ubuntu #22: Commit 3ce2046 pushed by mchadalavada
May 3, 2024 17:44 28m 20s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
May 3, 2024 17:44 28m 20s
Limit number of choices in choose expression to at most 10000 (#725) PCover on Ubuntu #21: Commit 5f96108 pushed by mchadalavada
May 3, 2024 02:02 25m 58s master
master
May 3, 2024 02:02 25m 58s
Fixes a null pointer exception reported by the PChecker (#713) PCover on Ubuntu #20: Commit 59e3312 pushed by mchadalavada
April 5, 2024 21:33 25m 58s master
master
April 5, 2024 21:33 25m 58s
Add installation details url for .net AL2 PCover on Ubuntu #19: Commit 6a55087 pushed by mchadalavada
March 14, 2024 23:44 25m 14s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 14, 2024 23:44 25m 14s
Merge branch 'master' into major_version/move_to_P2.1.0 PCover on Ubuntu #18: Commit 374d076 pushed by mchadalavada
March 14, 2024 23:31 25m 17s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 14, 2024 23:31 25m 17s
Update dotnet sdk 8.0 installation instructions for AL2 PCover on Ubuntu #17: Commit de92008 pushed by mchadalavada
March 13, 2024 23:44 25m 23s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 23:44 25m 23s
Merge branch 'p-org:major_version/move_to_P2.1.0' into major_version/… PCover on Ubuntu #16: Commit 16b27b1 pushed by mchadalavada
March 13, 2024 21:29 30m 21s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 21:29 30m 21s
Update .net 8 installation in docs PCover on Ubuntu #15: Commit f2b0534 pushed by mchadalavada
March 13, 2024 21:25 25m 48s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 21:25 25m 48s
[PCompiler] Remove test cases from imported projects (#702) PCover on Ubuntu #14: Commit 788a48e pushed by mchadalavada
March 13, 2024 21:23 26m 35s master
master
March 13, 2024 21:23 26m 35s
Update .net sdk 8.0 commands for AL2 PCover on Ubuntu #13: Commit 599556d pushed by mchadalavada
March 13, 2024 21:21 25m 42s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 21:21 25m 42s
Update .net 8 installation in docs PCover on Ubuntu #12: Commit f2b0534 pushed by mchadalavada
March 8, 2024 01:11 26m 4s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 8, 2024 01:11 26m 4s
Update .net version to 8.0 in build scripts PCover on Ubuntu #11: Commit 243d238 pushed by mchadalavada
March 7, 2024 23:14 24m 32s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 7, 2024 23:14 24m 32s
[PSym] Upgrade to .NET 8.0 PCover on Ubuntu #10: Commit 7aa3930 pushed by mchadalavada
March 7, 2024 23:08 25m 17s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 7, 2024 23:08 25m 17s
Minor fix for the case where assert false (#697) PCover on Ubuntu #9: Commit 24f64b7 pushed by mchadalavada
March 7, 2024 20:10 26m 1s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 7, 2024 20:10 26m 1s
Minor fix for the case where assert false (#697) PCover on Ubuntu #8: Commit 24f64b7 pushed by mchadalavada
March 5, 2024 20:08 26m 23s master
master
March 5, 2024 20:08 26m 23s
Merge branch 'p-org:master' into master PCover on Ubuntu #7: Commit 702d1df pushed by mchadalavada
February 9, 2024 00:04 25m 46s master
master
February 9, 2024 00:04 25m 46s
Update P overview video PCover on Ubuntu #6: Commit ef5f155 pushed by mchadalavada
February 8, 2024 23:34 25m 26s master
master
February 8, 2024 23:34 25m 26s
Add high resolution icons PCover on Ubuntu #5: Commit 7a1daab pushed by mchadalavada
February 8, 2024 23:02 25m 49s master
master
February 8, 2024 23:02 25m 49s