Skip to content

Actions: p-org/P

Actions

CI on MacOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macosci.yml
542 workflow runs
542 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add 64 integration and coverage tests for ValidationPipeline CI on MacOS #3104: 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 MacOS #3103: 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 MacOS #3102: 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 MacOS #3101: Commit f929e51 pushed by ankushdesai
5m 18s p-3.0.4
p-3.0.4
5m 18s
Improve README structure and readability CI on MacOS #3100: Commit f929e51 pushed by ankushdesai
8m 12s master
master
8m 12s
Fix unhandled exception when accessing machine fields (fixes #920) (#… CI on MacOS #3099: Commit 5a8b0df pushed by ankushdesai
12m 0s master
master
12m 0s
[PVerifier] Improve proof speed by not generating unused procedures CI on MacOS #3098: 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 MacOS #3097: Pull request #939 opened by ankushdesai
14m 1s fix/issue-920-machine-field-access
fix/issue-920-machine-field-access
14m 1s
Fix unhandled exception when accessing machine fields (fixes #920) CI on MacOS #3096: Commit f57ce54 pushed by ankushdesai
9m 14s fix/issue-920-machine-field-access
fix/issue-920-machine-field-access
9m 14s
Bump PeasyAI to v1.0.0 and update install instructions CI on MacOS #3095: Commit 0d1842c pushed by ankushdesai
18m 41s peasyai-v1.0.0
peasyai-v1.0.0
18m 41s
Bump PeasyAI to v1.0.0 and update install instructions CI on MacOS #3094: Commit 0d1842c pushed by ankushdesai
17m 24s master
master
17m 24s
Update README to match website with PeasyAI and PObserve highlights CI on MacOS #3093: Commit 9e33243 pushed by ankushdesai
22m 35s master
master
22m 35s
Dev/p chat bot (#938) CI on MacOS #3092: Commit a6d22cd pushed by ankushdesai
14m 45s master
master
14m 45s
Dev/p chat bot CI on MacOS #3091: Pull request #938 synchronize by ankushdesai
24m 48s dev/PChatBot
dev/PChatBot
24m 48s
Merge branch 'master' into dev/PChatBot CI on MacOS #3090: Commit 4ebadf4 pushed by ankushdesai
31m 1s dev/PChatBot
dev/PChatBot
31m 1s
Dev/p chat bot CI on MacOS #3089: Pull request #938 opened by ankushdesai
14m 46s dev/PChatBot
dev/PChatBot
14m 46s
Updated documentation (#937) CI on MacOS #3088: Commit c04f4e8 pushed by ankushdesai
14m 57s master
master
14m 57s
Updated documentation CI on MacOS #3087: Pull request #937 synchronize by ankushdesai
6m 17s updated_documentation
updated_documentation
6m 17s
Merge branch 'master' into updated_documentation CI on MacOS #3086: Commit c835baf pushed by ankushdesai
10m 18s updated_documentation
updated_documentation
10m 18s
Updated documentation CI on MacOS #3085: Pull request #937 synchronize by ankushdesai
6m 50s updated_documentation
updated_documentation
6m 50s
Redesign home page with PeasyAI and PObserve highlights CI on MacOS #3084: Commit c196458 pushed by ankushdesai
5m 54s updated_documentation
updated_documentation
5m 54s
Bump org.apache.logging.log4j:log4j-core from 2.20.0 to 2.25.3 in /Src/PObserve/PObserveJavaUnitTest CI on MacOS #3083: Pull request #929 synchronize by ankushdesai
7m 56s 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
7m 56s
Merge branch 'master' into dependabot/maven/Src/PObserve/PObserveJava… CI on MacOS #3082: Commit 8b2af9b pushed by ankushdesai
16m 20s 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
16m 20s
[PVerifier] Improve proof speed by not generating unused procedures CI on MacOS #3081: Pull request #934 synchronize by ankushdesai
Action required TheKK:unused_procedures
TheKK:unused_procedures
Action required
Updated documentation CI on MacOS #3080: Pull request #937 synchronize by ankushdesai
54m 25s updated_documentation
updated_documentation
54m 25s