Skip to content

Actions: microsoft/regorus

Actions

verus

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verus.yml
273 workflow runs
273 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
Add source-aware policy params declaration detection (#826) verus #280: Commit bc3e134 pushed by anakrish
1m 14s main
main
1m 14s
Add source-aware policy params declaration detection verus #279: Pull request #826 synchronize by maksym-mishchenko
1m 25s maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
1m 25s
feat: Add causality reporting and partial evaluation (based on anakrish/causality) verus #278: Pull request #835 synchronize by snehabandla
1m 14s snehabandla:snehab/pe-causality-integration
snehabandla:snehab/pe-causality-integration
1m 14s
feat: Add causality reporting and partial evaluation (based on anakrish/causality) verus #277: Pull request #835 opened by snehabandla
1m 24s snehabandla:snehab/pe-causality-integration
snehabandla:snehab/pe-causality-integration
1m 24s
fix: preserve typed scalar rule paths and Program JSON round trips verus #276: Pull request #833 synchronize by maksym-mishchenko
57s maksym-mishchenko:maksym-mishchenko-anand-scalar-path-follow-up
maksym-mishchenko:maksym-mishchenko-anand-scalar-path-follow-up
57s
feat: expose lossless package components (#834) verus #275: Commit 86a9e2e pushed by anakrish
1m 14s main
main
1m 14s
Add source-aware policy params declaration detection verus #274: Pull request #826 synchronize by maksym-mishchenko
1m 9s maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
1m 9s
feat: expose lossless package components verus #273: Pull request #834 opened by maksym-mishchenko
1m 32s maksym-mishchenko:maksym-mishchenko-fix-pr-827-follow-up
maksym-mishchenko:maksym-mishchenko-fix-pr-827-follow-up
1m 32s
Preserve memory budgets across suspendable execution verus #272: Pull request #830 synchronize by maksym-mishchenko
1m 18s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 18s
Preserve memory budgets across suspendable execution verus #271: Pull request #830 synchronize by maksym-mishchenko
1m 21s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 21s
Preserve memory budgets across suspendable execution verus #270: Pull request #830 synchronize by maksym-mishchenko
1m 21s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 21s
Preserve memory budgets across suspendable execution verus #269: Pull request #830 synchronize by maksym-mishchenko
1m 10s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 10s
Preserve memory budgets across suspendable execution verus #268: Pull request #830 synchronize by maksym-mishchenko
1m 5s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 5s
fix: preserve typed scalar rule paths and Program JSON round trips verus #267: Pull request #833 opened by maksym-mishchenko
1m 18s maksym-mishchenko:maksym-mishchenko-anand-scalar-path-follow-up
maksym-mishchenko:maksym-mishchenko-anand-scalar-path-follow-up
1m 18s
fix: preserve literal namespace components across evaluation paths (#… verus #266: Commit 042af3a pushed by anakrish
1m 15s main
main
1m 15s
Preserve memory budgets across suspendable execution verus #265: Pull request #830 synchronize by maksym-mishchenko
2m 11s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
2m 11s
Preserve memory budgets across suspendable execution verus #264: Pull request #830 synchronize by maksym-mishchenko
1m 5s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 5s
Preserve memory budgets across suspendable execution verus #263: Pull request #830 synchronize by maksym-mishchenko
1m 4s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 4s
fix: preserve literal namespace components across evaluation paths verus #262: Pull request #827 synchronize by maksym-mishchenko
57s maksym-mishchenko:maksym-mishchenko-dotted-namespace-compatibility
maksym-mishchenko:maksym-mishchenko-dotted-namespace-compatibility
57s
Preserve memory budgets across suspendable execution verus #261: Pull request #830 synchronize by maksym-mishchenko
1m 9s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 9s
Preserve memory budgets across suspendable execution verus #260: Pull request #830 synchronize by maksym-mishchenko
1m 3s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 3s
Preserve memory budgets across suspendable execution verus #259: Pull request #830 synchronize by maksym-mishchenko
1m 19s maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
maksym-mishchenko:maksym-mishchenko-suspendable-memory-budgets
1m 19s
ci(deps): bump the github-actions group across 1 directory with 5 upd… verus #258: Commit 454b61a pushed by anakrish
6m 0s main
main
6m 0s
build(deps): bump the rust-dependencies group across 6 directories wi… verus #257: Commit 6b83861 pushed by anakrish
6m 50s main
main
6m 50s
build(deps): bump the rust-dependencies group across 6 directories with 13 updates verus #256: Pull request #832 synchronize by Copilot AI
2m 40s dependabot/cargo/rust-dependencies-d775c360db
dependabot/cargo/rust-dependencies-d775c360db
2m 40s