Skip to content

Actions: trail-of-forks/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LLVM Memory Model Rebased
CI #3: Pull request #2 synchronize by 2over12
January 18, 2025 21:00 5m 42s ian/llvm-memoy-model-rebase
January 18, 2025 21:00 5m 42s
LLVM Memory Model Rebased
CI #2: Pull request #2 opened by 2over12
January 18, 2025 20:54 11m 18s ian/llvm-memoy-model-rebase
January 18, 2025 20:54 11m 18s
Add state transformers! (#324)
CI #1: Commit 0c14d64 pushed by 2over12
January 17, 2025 17:09 19m 11s master
January 17, 2025 17:09 19m 11s