Skip to content

Actions: p-org/P

Actions

CI on Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windowsci.yml
541 workflow runs
541 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add 64 integration and coverage tests for ValidationPipeline CI on Windows #3148: Pull request #940 synchronize by Copilot AI
Action required copilot/improve-testing-strategies
copilot/improve-testing-strategies
Action required
test: add 64 integration and coverage tests for ValidationPipeline CI on Windows #3147: Commit c550a13 pushed by Copilot AI
Action required copilot/improve-testing-strategies
copilot/improve-testing-strategies
Action required
Add 64 integration and coverage tests for ValidationPipeline CI on Windows #3146: Pull request #940 opened by Copilot AI
Action required copilot/improve-testing-strategies
copilot/improve-testing-strategies
Action required
Improve README structure and readability CI on Windows #3145: Commit f929e51 pushed by ankushdesai
14m 4s p-3.0.4
p-3.0.4
14m 4s
Improve README structure and readability CI on Windows #3144: Commit f929e51 pushed by ankushdesai
13m 9s master
master
13m 9s
Fix unhandled exception when accessing machine fields (fixes #920) (#… CI on Windows #3143: Commit 5a8b0df pushed by ankushdesai
14m 14s master
master
14m 14s
[PVerifier] Improve proof speed by not generating unused procedures CI on Windows #3142: Pull request #934 synchronize by ankushdesai
Action required TheKK:unused_procedures
TheKK:unused_procedures
Action required
Fix unhandled exception when accessing machine fields (fixes #920) CI on Windows #3141: Pull request #939 opened by ankushdesai
11m 32s fix/issue-920-machine-field-access
fix/issue-920-machine-field-access
11m 32s
Fix unhandled exception when accessing machine fields (fixes #920) CI on Windows #3140: Commit f57ce54 pushed by ankushdesai
14m 0s fix/issue-920-machine-field-access
fix/issue-920-machine-field-access
14m 0s
Bump PeasyAI to v1.0.0 and update install instructions CI on Windows #3139: Commit 0d1842c pushed by ankushdesai
12m 19s peasyai-v1.0.0
peasyai-v1.0.0
12m 19s
Bump PeasyAI to v1.0.0 and update install instructions CI on Windows #3138: Commit 0d1842c pushed by ankushdesai
12m 22s master
master
12m 22s
Update README to match website with PeasyAI and PObserve highlights CI on Windows #3137: Commit 9e33243 pushed by ankushdesai
12m 31s master
master
12m 31s
Dev/p chat bot (#938) CI on Windows #3136: Commit a6d22cd pushed by ankushdesai
13m 8s master
master
13m 8s
Dev/p chat bot CI on Windows #3135: Pull request #938 synchronize by ankushdesai
28s dev/PChatBot
dev/PChatBot
28s
Merge branch 'master' into dev/PChatBot CI on Windows #3134: Commit 4ebadf4 pushed by ankushdesai
12m 46s dev/PChatBot
dev/PChatBot
12m 46s
Dev/p chat bot CI on Windows #3133: Pull request #938 opened by ankushdesai
12m 44s dev/PChatBot
dev/PChatBot
12m 44s
Updated documentation (#937) CI on Windows #3132: Commit c04f4e8 pushed by ankushdesai
12m 46s master
master
12m 46s
Updated documentation CI on Windows #3131: Pull request #937 synchronize by ankushdesai
13m 0s updated_documentation
updated_documentation
13m 0s
Merge branch 'master' into updated_documentation CI on Windows #3130: Commit c835baf pushed by ankushdesai
12m 34s updated_documentation
updated_documentation
12m 34s
Updated documentation CI on Windows #3129: Pull request #937 synchronize by ankushdesai
11m 51s updated_documentation
updated_documentation
11m 51s
Redesign home page with PeasyAI and PObserve highlights CI on Windows #3128: Commit c196458 pushed by ankushdesai
12m 21s updated_documentation
updated_documentation
12m 21s
Bump org.apache.logging.log4j:log4j-core from 2.20.0 to 2.25.3 in /Src/PObserve/PObserveJavaUnitTest CI on Windows #3127: Pull request #929 synchronize by ankushdesai
13m 5s dependabot/maven/Src/PObserve/PObserveJavaUnitTest/org.apache.logging.log4j-log4j-core-2.25.3
dependabot/maven/Src/PObserve/PObserveJavaUnitTest/org.apache.logging.log4j-log4j-core-2.25.3
13m 5s
Merge branch 'master' into dependabot/maven/Src/PObserve/PObserveJava… CI on Windows #3126: Commit 8b2af9b pushed by ankushdesai
12m 36s dependabot/maven/Src/PObserve/PObserveJavaUnitTest/org.apache.logging.log4j-log4j-core-2.25.3
dependabot/maven/Src/PObserve/PObserveJavaUnitTest/org.apache.logging.log4j-log4j-core-2.25.3
12m 36s
[PVerifier] Improve proof speed by not generating unused procedures CI on Windows #3125: Pull request #934 synchronize by ankushdesai
Action required TheKK:unused_procedures
TheKK:unused_procedures
Action required
Updated documentation CI on Windows #3124: Pull request #937 synchronize by ankushdesai
12m 58s updated_documentation
updated_documentation
12m 58s