Proof Scripts · Workflow runs · javaevolved/javaevolved.github.io · GitHub

Actions

All workflows
Workflows
- Build Generator JAR Build Generator JAR
- Check for New OpenJDK Release and Propose New Snippets Check for New OpenJDK Release and Propose New Snippets
- Deploy to GitHub Pages Deploy to GitHub Pages
- Benchmark Generator Benchmark Generator
- Copilot code review Copilot code review
- Copilot coding agent Copilot coding agent
- Copilot Setup Steps Copilot Setup Steps
- pages-build-deployment pages-build-deployment
- Proof Scripts Proof Scripts
Management
- Caches
- Deployments

Proof Scripts

Actions

Loading...
Loading

1 workflow run

1 workflow run

Proof Scripts Proof Scripts #5: Manually run by brunoborges

2m 58s main

main

2m 58s