Skip to content

Actions: mit-pdos/perennial

Actions

Dependabot auto-merge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dependabot-automerge.yml
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update opam dependencies Dependabot auto-merge #997: Pull request #583 opened by tchajed
1s update-dependencies
update-dependencies
1s
Update raft readonly proof Dependabot auto-merge #996: Pull request #582 synchronize by upamanyus
1s raft-readonly
raft-readonly
1s
Update raft readonly proof Dependabot auto-merge #995: Pull request #582 opened by upamanyus
1s raft-readonly
raft-readonly
1s
Regoose with semantics test for new(e) Dependabot auto-merge #994: Pull request #581 synchronize by upamanyus
1s tchajed/new-expr
tchajed/new-expr
1s
Regoose with semantics test for new(e) Dependabot auto-merge #993: Pull request #581 opened by tchajed
1s tchajed/new-expr
tchajed/new-expr
1s
Typed pointsto ownership implies the addres is not nil Dependabot auto-merge #992: Pull request #580 synchronize by upamanyus
1s pointsto-not-null
pointsto-not-null
1s
Typed pointsto ownership implies the addres is not nil Dependabot auto-merge #991: Pull request #580 synchronize by upamanyus
1s pointsto-not-null
pointsto-not-null
1s
Update opam dependencies Dependabot auto-merge #990: Pull request #578 synchronize by tchajed
1s update-dependencies
update-dependencies
1s
Typed pointsto ownership implies the addres is not nil Dependabot auto-merge #989: Pull request #580 opened by upamanyus
1s pointsto-not-null
pointsto-not-null
1s
Clean up channel example proofs Dependabot auto-merge #988: Pull request #579 opened by tchajed
1s channel-cleanup
channel-cleanup
1s
Update opam dependencies Dependabot auto-merge #987: Pull request #578 opened by tchajed
1s update-dependencies
update-dependencies
1s
Replace done with closeable Dependabot auto-merge #986: Pull request #577 opened by tchajed
1s replace-done-with-closable
replace-done-with-closable
1s
Fix lock example proof Dependabot auto-merge #985: Pull request #575 synchronize by tchajed
Skipped fix-for-benchmark-lock
fix-for-benchmark-lock
Skipped
Update workq proof for shared struct refactor Dependabot auto-merge #984: Pull request #576 opened by tchajed
1s workq-shared
workq-shared
1s
Fix lock example proof Dependabot auto-merge #983: Pull request #575 opened by tchajed
1s fix-for-benchmark-lock
fix-for-benchmark-lock
1s
Update opam dependencies Dependabot auto-merge #982: Pull request #574 synchronize by tchajed
1s update-dependencies
update-dependencies
1s
Add new channel examples Dependabot auto-merge #981: Pull request #571 synchronize by upamanyus
1s stealing-work-queue
stealing-work-queue
1s
Add new channel examples Dependabot auto-merge #980: Pull request #571 synchronize by upamanyus
1s stealing-work-queue
stealing-work-queue
1s
Add new channel examples Dependabot auto-merge #979: Pull request #571 synchronize by tchajed
1s stealing-work-queue
stealing-work-queue
1s
Add new channel examples Dependabot auto-merge #978: Pull request #571 synchronize by tchajed
1s stealing-work-queue
stealing-work-queue
1s
Add new channel examples Dependabot auto-merge #977: Pull request #571 synchronize by tchajed
1s stealing-work-queue
stealing-work-queue
1s
Update opam dependencies Dependabot auto-merge #976: Pull request #574 opened by tchajed
1s update-dependencies
update-dependencies
1s
Remove has_lock from channel lock idiom/library Dependabot auto-merge #975: Pull request #573 synchronize by lredlin
1s lredlin:lock_rg
lredlin:lock_rg
1s
Add new channel examples Dependabot auto-merge #974: Pull request #571 synchronize by upamanyus
1s stealing-work-queue
stealing-work-queue
1s
Remove has_lock from channel lock idiom/library Dependabot auto-merge #973: Pull request #573 opened by lredlin
1s lredlin:lock_rg
lredlin:lock_rg
1s