Skip to content

Actions: fraware/leanverifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Bump pytest from 8.3.5 to 9.1.1 CI #12: Pull request #12 opened by dependabot Bot
4m 29s dependabot/pip/pytest-9.1.1
dependabot/pip/pytest-9.1.1
4m 29s
Bump pytest-cov from 6.0.0 to 7.1.0 CI #11: Pull request #11 opened by dependabot Bot
6m 1s dependabot/pip/pytest-cov-7.1.0
dependabot/pip/pytest-cov-7.1.0
6m 1s
Bump ruff from 0.11.2 to 0.16.0 CI #10: Pull request #10 opened by dependabot Bot
4m 16s dependabot/pip/ruff-0.16.0
dependabot/pip/ruff-0.16.0
4m 16s
Bump jsonschema from 4.23.0 to 4.26.0 CI #9: Pull request #9 opened by dependabot Bot
5m 23s dependabot/pip/jsonschema-4.26.0
dependabot/pip/jsonschema-4.26.0
5m 23s
Bump mypy from 1.15.0 to 2.3.0 CI #8: Pull request #8 opened by dependabot Bot
6m 6s dependabot/pip/mypy-2.3.0
dependabot/pip/mypy-2.3.0
6m 6s
Bump actions/attest-build-provenance from 2.2.0 to 4.1.1 CI #7: Pull request #7 opened by dependabot Bot
4m 33s dependabot/github_actions/actions/attest-build-provenance-4.1.1
dependabot/github_actions/actions/attest-build-provenance-4.1.1
4m 33s
Bump actions/setup-python from 5.3.0 to 7.0.0 CI #6: Pull request #6 opened by dependabot Bot
4m 27s dependabot/github_actions/actions/setup-python-7.0.0
dependabot/github_actions/actions/setup-python-7.0.0
4m 27s
Bump actions/checkout from 4.2.2 to 7.0.1 CI #5: Pull request #5 opened by dependabot Bot
4m 16s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
4m 16s
Bump actions/download-artifact from 4.1.8 to 8.0.1 CI #4: Pull request #4 opened by dependabot Bot
4m 8s dependabot/github_actions/actions/download-artifact-8.0.1
dependabot/github_actions/actions/download-artifact-8.0.1
4m 8s
Bump actions/upload-artifact from 4.6.0 to 7.0.1 CI #3: Pull request #3 opened by dependabot Bot
4m 34s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
4m 34s
pip in /. - Update #1479827350 Dependabot Updates #4: by dependabot Bot
1m 33s master
master
1m 33s
github_actions in /. - Update #1479827337 Dependabot Updates #3: by dependabot Bot
50s master
master
50s
pip in /. - Update #1479827314 Dependabot Updates #2: by dependabot Bot
1m 36s master
master
1m 36s
github_actions in /. - Update #1479827311 Dependabot Updates #1: by dependabot Bot
37s master
master
37s
Recover LeanVerifier v0.1 technical preview CI #2: Pull request #2 opened by fraware
4m 31s recovery/v0.1.0
recovery/v0.1.0
4m 31s
Align user and developer guides with recovered preview CI #1: Commit 34c53f3 pushed by fraware
3m 56s recovery/v0.1.0
recovery/v0.1.0
3m 56s