Skip to content

Actions: mchadalavada/P

CI on MacOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
CI on MacOS #29: Commit d59de38 pushed by mchadalavada
June 29, 2024 07:38 4m 59s master
June 29, 2024 07:38 4m 59s
Remove optional parameters in monitor
CI on MacOS #28: Commit 79f4eb8 pushed by mchadalavada
June 29, 2024 00:10 4m 16s master
June 29, 2024 00:10 4m 16s
Make monitor a serializle object
CI on MacOS #27: Commit 03401ac pushed by mchadalavada
June 29, 2024 00:02 1m 3s master
June 29, 2024 00:02 1m 3s
Updating import from Plang to PChecker (#742)
CI on MacOS #26: Commit e629bad pushed by mchadalavada
June 21, 2024 18:22 4m 43s master
June 21, 2024 18:22 4m 43s
Make PMachines in java generated code serializable
CI on MacOS #25: Commit 9bc0184 pushed by mchadalavada
May 20, 2024 18:41 10m 28s master
May 20, 2024 18:41 10m 28s
Merge branch 'p-org:master' into master
CI on MacOS #24: Commit 84d01d3 pushed by mchadalavada
May 20, 2024 17:49 4m 27s master
May 20, 2024 17:49 4m 27s
Make PEvents and PTypes serializable in java
CI on MacOS #23: Commit 0af3b5e pushed by mchadalavada
May 3, 2024 18:03 4m 31s master
May 3, 2024 18:03 4m 31s
May 3, 2024 02:02 4m 28s
Fixes a null pointer exception reported by the PChecker (#713)
CI on MacOS #20: Commit 59e3312 pushed by mchadalavada
April 5, 2024 21:33 13m 29s master
April 5, 2024 21:33 13m 29s
Update .net 8 installation in docs
CI on MacOS #15: Commit f2b0534 pushed by mchadalavada
March 13, 2024 21:25 14m 28s major_version/move_to_P2.1.0
March 13, 2024 21:25 14m 28s
[PCompiler] Remove test cases from imported projects (#702)
CI on MacOS #14: Commit 788a48e pushed by mchadalavada
March 13, 2024 21:23 7m 22s master
March 13, 2024 21:23 7m 22s
Update .net sdk 8.0 commands for AL2
CI on MacOS #13: Commit 599556d pushed by mchadalavada
March 13, 2024 21:21 9m 5s major_version/move_to_P2.1.0
March 13, 2024 21:21 9m 5s
Update .net 8 installation in docs
CI on MacOS #12: Commit f2b0534 pushed by mchadalavada
March 8, 2024 01:11 8m 38s major_version/move_to_P2.1.0
March 8, 2024 01:11 8m 38s
[PSym] Upgrade to .NET 8.0
CI on MacOS #10: Commit 7aa3930 pushed by mchadalavada
March 7, 2024 23:08 7m 4s major_version/move_to_P2.1.0
March 7, 2024 23:08 7m 4s
Minor fix for the case where assert false (#697)
CI on MacOS #8: Commit 24f64b7 pushed by mchadalavada
March 5, 2024 20:08 9m 0s master
March 5, 2024 20:08 9m 0s
Merge branch 'p-org:master' into master
CI on MacOS #7: Commit 702d1df pushed by mchadalavada
February 9, 2024 00:04 8m 24s master
February 9, 2024 00:04 8m 24s
Update P overview video
CI on MacOS #6: Commit ef5f155 pushed by mchadalavada
February 8, 2024 23:34 12m 3s master
February 8, 2024 23:34 12m 3s
Add high resolution icons
CI on MacOS #5: Commit 7a1daab pushed by mchadalavada
February 8, 2024 23:02 15m 42s master
February 8, 2024 23:02 15m 42s