Skip to content

Actions: ostinelli/syn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disconnect both nodes in netsplit tests.
.github/workflows/ci.yml #107: Commit a950280 pushed by ostinelli
2m 15s master
Bump to 3.4.2
.github/workflows/ci.yml #91: Commit 34749b6 pushed by ostinelli
2m 8s master
Bump version to 3.4.1.
.github/workflows/ci.yml #78: Commit 522b790 pushed by ostinelli
2m 1s master
Update copyright notice for the TLA model.
.github/workflows/ci.yml #77: Commit 9a38c9b pushed by ostinelli
2m 1s master
Update the license.
.github/workflows/ci.yml #76: Commit 2a7cdc6 pushed by ostinelli
2m 3s master
Always send_to_node via the sender_pid.
.github/workflows/ci.yml #74: Commit 5db78b5 pushed by ostinelli
2m 4s master
Add PropEr test for groups.
.github/workflows/ci.yml #73: Commit 7b34aa5 pushed by ostinelli
2m 6s master