Skip to content

Actions: p-org/P

Actions

PEx on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pex.yml
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add 64 integration and coverage tests for ValidationPipeline PEx on Ubuntu #294: 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 PEx on Ubuntu #293: 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 PEx on Ubuntu #292: Pull request #940 opened by Copilot AI
Action required copilot/improve-testing-strategies
copilot/improve-testing-strategies
Action required
Improve README structure and readability PEx on Ubuntu #291: Commit f929e51 pushed by ankushdesai
1m 51s p-3.0.4
p-3.0.4
1m 51s
Improve README structure and readability PEx on Ubuntu #290: Commit f929e51 pushed by ankushdesai
1m 41s master
master
1m 41s
Fix unhandled exception when accessing machine fields (fixes #920) (#… PEx on Ubuntu #289: Commit 5a8b0df pushed by ankushdesai
3m 15s master
master
3m 15s
[PVerifier] Improve proof speed by not generating unused procedures PEx on Ubuntu #288: 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) PEx on Ubuntu #287: Pull request #939 opened by ankushdesai
1m 43s fix/issue-920-machine-field-access
fix/issue-920-machine-field-access
1m 43s
Fix unhandled exception when accessing machine fields (fixes #920) PEx on Ubuntu #286: Commit f57ce54 pushed by ankushdesai
1m 46s fix/issue-920-machine-field-access
fix/issue-920-machine-field-access
1m 46s
Bump PeasyAI to v1.0.0 and update install instructions PEx on Ubuntu #285: Commit 0d1842c pushed by ankushdesai
1m 45s peasyai-v1.0.0
peasyai-v1.0.0
1m 45s
Bump PeasyAI to v1.0.0 and update install instructions PEx on Ubuntu #284: Commit 0d1842c pushed by ankushdesai
1m 48s master
master
1m 48s
Update README to match website with PeasyAI and PObserve highlights PEx on Ubuntu #283: Commit 9e33243 pushed by ankushdesai
1m 49s master
master
1m 49s
Dev/p chat bot (#938) PEx on Ubuntu #282: Commit a6d22cd pushed by ankushdesai
3m 33s master
master
3m 33s
Dev/p chat bot PEx on Ubuntu #281: Pull request #938 synchronize by ankushdesai
2m 38s dev/PChatBot
dev/PChatBot
2m 38s
Merge branch 'master' into dev/PChatBot PEx on Ubuntu #280: Commit 4ebadf4 pushed by ankushdesai
1m 41s dev/PChatBot
dev/PChatBot
1m 41s
Dev/p chat bot PEx on Ubuntu #279: Pull request #938 opened by ankushdesai
1m 41s dev/PChatBot
dev/PChatBot
1m 41s
Updated documentation (#937) PEx on Ubuntu #278: Commit c04f4e8 pushed by ankushdesai
1m 30s master
master
1m 30s
Updated documentation PEx on Ubuntu #277: Pull request #937 synchronize by ankushdesai
1m 40s updated_documentation
updated_documentation
1m 40s
Merge branch 'master' into updated_documentation PEx on Ubuntu #276: Commit c835baf pushed by ankushdesai
1m 11s updated_documentation
updated_documentation
1m 11s
Updated documentation PEx on Ubuntu #275: Pull request #937 synchronize by ankushdesai
39s updated_documentation
updated_documentation
39s
Redesign home page with PeasyAI and PObserve highlights PEx on Ubuntu #274: Commit c196458 pushed by ankushdesai
1m 45s updated_documentation
updated_documentation
1m 45s
Bump org.apache.logging.log4j:log4j-core from 2.20.0 to 2.25.3 in /Src/PObserve/PObserveJavaUnitTest PEx on Ubuntu #273: Pull request #929 synchronize by ankushdesai
1m 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
1m 5s
Merge branch 'master' into dependabot/maven/Src/PObserve/PObserveJava… PEx on Ubuntu #272: Commit 8b2af9b pushed by ankushdesai
1m 47s 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
1m 47s
[PVerifier] Improve proof speed by not generating unused procedures PEx on Ubuntu #271: Pull request #934 synchronize by ankushdesai
Action required TheKK:unused_procedures
TheKK:unused_procedures
Action required
Updated documentation PEx on Ubuntu #270: Pull request #937 synchronize by ankushdesai
1m 2s updated_documentation
updated_documentation
1m 2s