Skip to content
Test changes

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory #251

Sign in to view logs

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory #251

Triggered via pull request October 18, 2024 19:03
@phanukaevphanukaev
synchronize #215
paper-vote-4
Status Success
Total duration 18s
Artifacts –

test.yaml

on: pull_request
Command tests
8s
Command tests
Fit to window
Zoom out
Zoom in