Skip to content

Actions: strata-org/Strata

Actions

Label merge conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
label-conflicts.yml
2,500+ workflow runs
2,500+ 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
Fix CI: Verso docs, trailing whitespace, and stale editor syntax files Label merge conflicts #4407: Commit a7b5255 pushed by strata-git-sync Bot
29s main
main
29s
Label merge conflicts Label merge conflicts #4406: by strata-git-sync Bot
58s main
main
58s
perf(S2U): decompose stmtsToBlocks_simulation arms + drop redundant s… Label merge conflicts #4405: Commit 1024ac7 pushed by strata-git-sync Bot
15s main
main
15s
test(laurel): make multiple-path test runs explicit via MultiplePathT… Label merge conflicts #4404: Commit 21ce527 pushed by strata-git-sync Bot
20s main
main
20s
feat(core): add Sequence.select! unsafe total accessor Label merge conflicts #4403: Commit 1fa6ded pushed by strata-git-sync Bot
25s main
main
25s
fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat Label merge conflicts #4402: Pull request #1453 synchronize by kondylidou
36s
36s
feat(Core): nat/pos counterexample support via UF+axioms re-query Label merge conflicts #4401: Pull request #1439 synchronize by kondylidou
18s
18s
fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat Label merge conflicts #4400: Pull request #1453 synchronize by kondylidou
14s
14s
fix(Core): complete bv128 literal support in FormatCore and Translate Label merge conflicts #4399: Pull request #1436 synchronize by kondylidou
15s
15s
chore: update lake-manifest.json Label merge conflicts #4398: Commit d3d7290 pushed by strata-git-sync Bot
21s main
main
21s
chore(deps): bump aws-actions/configure-aws-credentials from 4 to 6 Label merge conflicts #4397: Pull request #1463 opened by dependabot Bot
26s
26s
Add PR import workflow (#1458) Label merge conflicts #4396: Commit b937398 pushed by github-merge-queue Bot
24s main
main
24s
Add PR import workflow Label merge conflicts #4395: Pull request #1458 synchronize by mchadalavada
13s
13s
ci: temporarily disable CBMC checks (known-broken) (#1461) Label merge conflicts #4394: Commit cf457a1 pushed by github-merge-queue Bot
23s main
main
23s
ci: temporarily disable CBMC checks (known-broken) Label merge conflicts #4393: Pull request #1461 synchronize by mchadalavada
16s
16s
fix: bump StrataDDM rev in lake-manifest.json to latest (#1459) Label merge conflicts #4392: Commit 1d16539 pushed by github-merge-queue Bot
20s main
main
20s
fix: bump StrataDDM rev in lake-manifest.json to latest Label merge conflicts #4391: Pull request #1459 synchronize by mchadalavada
19s
19s
fix: bump StrataDDM rev in lake-manifest.json to latest Label merge conflicts #4390: Pull request #1459 synchronize by mchadalavada
16s
16s
fix: bump StrataDDM rev in lake-manifest.json to latest Label merge conflicts #4389: Pull request #1459 synchronize by mchadalavada
15s
15s
ci: temporarily disable CBMC checks (known-broken) Label merge conflicts #4388: Pull request #1461 synchronize by joscoh
14s
14s
fix: bump StrataDDM rev in lake-manifest.json to latest Label merge conflicts #4387: Pull request #1459 synchronize by mchadalavada
15s
15s
fix(laurel): synthesize heap well-formedness conditions in HeapParame… Label merge conflicts #4386: Commit 440e9a4 pushed by strata-git-sync Bot
22s main
main
22s
fix: bump StrataDDM rev in lake-manifest.json to latest Label merge conflicts #4385: Pull request #1459 synchronize by mchadalavada
19s
19s
fix: bump StrataDDM rev in lake-manifest.json to latest Label merge conflicts #4384: Pull request #1459 synchronize by mchadalavada
25s
25s
fix: bump StrataDDM rev in lake-manifest.json to latest Label merge conflicts #4383: Pull request #1459 synchronize by mchadalavada
17s
17s