Skip to content

Actions: ostinelli/syn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update copyright notice for the TLA model. .github/workflows/ci.yml #77: Commit 9a38c9b pushed by ostinelli
2m 1s master
master
2m 1s
Update the license. .github/workflows/ci.yml #76: Commit 2a7cdc6 pushed by ostinelli
2m 3s master
master
2m 3s
Add the commit reference of the fix in the tla README. .github/workflows/ci.yml #75: Commit 4f22599 pushed by ostinelli
2m 3s master
master
2m 3s
Always send_to_node via the sender_pid. .github/workflows/ci.yml #74: Commit 5db78b5 pushed by ostinelli
2m 4s master
master
2m 4s
Add PropEr test for groups. .github/workflows/ci.yml #73: Commit 7b34aa5 pushed by ostinelli
2m 6s master
master
2m 6s
Move node() from log messages to global logger metadata. .github/workflows/ci.yml #72: Commit fa2b3de pushed by ostinelli
2m 3s master
master
2m 3s
Move node() from log messages to global logger metadata. .github/workflows/ci.yml #71: Commit e315ba0 pushed by ostinelli
2m 0s master
master
2m 0s
Use new logger. .github/workflows/ci.yml #70: Commit e54f4a5 pushed by ostinelli
2m 1s master
master
2m 1s
Fix docs generation script. .github/workflows/ci.yml #69: Commit f664293 pushed by ostinelli
1m 58s master
master
1m 58s
Merge pull request #83 from urmastalimaa/fix_already_started_when_reg… .github/workflows/ci.yml #68: Commit bce56e7 pushed by ostinelli
2m 4s master
master
2m 4s
Merge pull request #77 from DerKastellan/patch-1 .github/workflows/ci.yml #67: Commit 8173c5e pushed by ostinelli
2m 2s master
master
2m 2s
Run ct without input. .github/workflows/ci.yml #66: Commit e8b0b10 pushed by ostinelli
2m 6s master
master
2m 6s
Verify that the process is alive in lookup/2 .github/workflows/ci.yml #56: Pull request #83 opened by urmastalimaa
16s urmastalimaa:fix_already_started_when_registered_process_restarted
urmastalimaa:fix_already_started_when_registered_process_restarted
16s