Skip to content

Actions: javaevolved/javaevolved.github.io

Actions

Proof Scripts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
5 workflow runs
5 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #159 from javaevolved/copilot/fix-predicate-not-issue Proof Scripts #11: Commit 453b322 pushed by brunoborges
 2m 9s main
main
 2m 9s
Fix predicate-not modern example to compile on Java 11 Proof Scripts #10: Pull request #159 synchronize by CopilotAI
 2m 45s copilot/fix-predicate-not-issue
copilot/fix-predicate-not-issue
 2m 45s
proof: add FFM proof for call-c-from-java pattern (#129) Proof Scripts #9: Commit 21896b2 pushed by brunoborges
 3m 3s main
main
 3m 3s
Add "Calling out to C code from Java" pattern: JNI vs FFM API Proof Scripts #7: Pull request #130 synchronize by brunoborges
 3m 10s copilot/simplify-c-code-java
copilot/simplify-c-code-java
 3m 10s
Proof Scripts Proof Scripts #5: Manually run by brunoborges
 2m 58s main
main
 2m 58s