Skip to content

Actions: mchadalavada/P

Actions

CI on Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

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