leanprover-community/lean-update
Attempts to update lean and dependencies of a lean project
More in GitHub Actions
All 2,000- trunkcode/check-http-status-action Check HTTP status codes, redirects and broken links of a website or URL list.
- Youssef1313/login Authenticate to Azure using OIDC and run your Az CLI or Az PowerShell based Actions or scripts. github.com/Azure/Actions
- mangs/super-cache-action Simple GitHub Action that improves cache performance over actions/cache's recommendations for Node.js projects
- calibreapp/github-actions Effortlessly add Calibre to your GitHub workflows
- some-natalie/ghas-to-csv Grab code and secret scanning data from the GitHub Advanced Security API and put it into a CSV file.
- Ikana/check-ecr This action is to check if an action with a tag already exists on a ECR repo.
- Azure/AppConfiguration-Sync DEPRECATED: Use Azure CLI action instead. Follow these instructions to set up.
- canary-technologies-corp/periodic-changelog-action Generates updates to changelogs based on pull requests
- qeesung/composite-sub-action1-demo Greet someone and record the time
- chromaui/action-canary Publish your Storybook to Chromatic and run visual regression tests
- kzu/stale Close issues and pull requests with no recent activity
- brualves/auto-release-draft Drafts a Github release with the changes introduce by a version tag