Skip to content

Actions: fraware/leanverifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 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
Merge pull request #15 from fraware/chore/default-branch-main CI #45: Commit 5635df6 pushed by fraware
14m 7s main
main
14m 7s
Finish main default-branch migration CI #44: Pull request #15 opened by fraware
12m 29s chore/default-branch-main
chore/default-branch-main
12m 29s
Graph Update: pip in /experimental/legacy-formalverifml, /experimental/legacy-formalverifml/translator #1483261006 Dependency Graph #3: by dependabot Bot
47s main
main
47s
Graph Update: uv in /. #1483261003 Dependency Graph #2: by dependabot Bot
34s main
main
34s
Merge pull request #14 from fraware/fix/ci-resource-hashes CI #43: Commit f299934 pushed by fraware
14m 16s main
main
14m 16s
Merge pull request #14 from fraware/fix/ci-resource-hashes CI #42: Commit f299934 pushed by fraware
9m 32s master
master
9m 32s
Fix LF-canonical resource digests for CI CI #41: Pull request #14 synchronize by fraware
12m 37s fix/ci-resource-hashes
fix/ci-resource-hashes
12m 37s
Count security and non-lean integration tests toward the unit coverag… CI #40: Commit c55cf21 pushed by fraware
13m 8s fix/ci-resource-hashes
fix/ci-resource-hashes
13m 8s
Fix LF-canonical resource digests for CI CI #39: Pull request #14 synchronize by fraware
13m 54s fix/ci-resource-hashes
fix/ci-resource-hashes
13m 54s
Use step-level LEANVERIFIER_CACHE paths for CI Lake warm-up. CI #38: Commit 465c3a6 pushed by fraware
10m 45s fix/ci-resource-hashes
fix/ci-resource-hashes
10m 45s
Retrigger CI after empty workflow run. CI #37: Commit 7f9a479 pushed by fraware
Failure fix/ci-resource-hashes
fix/ci-resource-hashes
Failure
Warm packaged Lake cache in CI and raise verify timeouts. CI #36: Commit 194c99f pushed by fraware
Failure fix/ci-resource-hashes
fix/ci-resource-hashes
Failure
Fix LF-canonical resource digests for CI CI #35: Pull request #14 synchronize by fraware
14m 56s fix/ci-resource-hashes
fix/ci-resource-hashes
14m 56s
Fix ruff E501 in regen_resource_hashes write_text call. CI #34: Commit ac585a8 pushed by fraware
16m 16s fix/ci-resource-hashes
fix/ci-resource-hashes
16m 16s
Fix LF-canonical resource digests for CI CI #33: Pull request #14 opened by fraware
16m 51s fix/ci-resource-hashes
fix/ci-resource-hashes
16m 51s
Fix packaged resource digests for LF-canonical CI verification. CI #32: Commit ec7853b pushed by fraware
17m 2s fix/ci-resource-hashes
fix/ci-resource-hashes
17m 2s
Bump pytest from 8.3.5 to 9.1.1 CI #31: Pull request #12 synchronize by dependabot Bot
26m 28s dependabot/pip/pytest-9.1.1
dependabot/pip/pytest-9.1.1
26m 28s
Bump ruff from 0.11.2 to 0.16.0 CI #30: Pull request #10 synchronize by dependabot Bot
18m 47s dependabot/pip/ruff-0.16.0
dependabot/pip/ruff-0.16.0
18m 47s
Bump jsonschema from 4.23.0 to 4.26.0 CI #29: Pull request #9 synchronize by dependabot Bot
18m 23s dependabot/pip/jsonschema-4.26.0
dependabot/pip/jsonschema-4.26.0
18m 23s
Bump mypy from 1.15.0 to 2.3.0 CI #28: Pull request #8 synchronize by dependabot Bot
21m 24s dependabot/pip/mypy-2.3.0
dependabot/pip/mypy-2.3.0
21m 24s
Bump actions/checkout from 4.2.2 to 7.0.1 CI #27: Pull request #5 synchronize by dependabot Bot
25m 37s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
25m 37s
Bump actions/attest-build-provenance from 2.2.0 to 4.1.1 CI #26: Pull request #7 synchronize by dependabot Bot
20m 8s dependabot/github_actions/actions/attest-build-provenance-4.1.1
dependabot/github_actions/actions/attest-build-provenance-4.1.1
20m 8s
Bump actions/setup-python from 5.3.0 to 7.0.0 CI #25: Pull request #6 synchronize by dependabot Bot
18m 39s dependabot/github_actions/actions/setup-python-7.0.0
dependabot/github_actions/actions/setup-python-7.0.0
18m 39s
Bump actions/download-artifact from 4.1.8 to 8.0.1 CI #24: Pull request #4 synchronize by dependabot Bot
15m 14s dependabot/github_actions/actions/download-artifact-8.0.1
dependabot/github_actions/actions/download-artifact-8.0.1
15m 14s
Bump actions/upload-artifact from 4.6.0 to 7.0.1 CI #23: Pull request #3 synchronize by dependabot Bot
18m 18s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
18m 18s