Skip to content

Actions: knowsys/nemo

Actions

Build and Test main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Provide Tracing IDs on Nemo side (#755)
Build and Test main #414: Commit ca39844 pushed by monsterkrampe
2m 12s main
Rename apart incremental predicates (#753)
Build and Test main #413: Commit 689d6f0 pushed by mmarx
2m 3s main
Execution time in tracing
Build and Test main #412: Commit d9329d3 pushed by aannleax
2m 11s main
correctly compute the bound positions (#749)
Build and Test main #409: Commit c1d5e40 pushed by mmarx
2m 11s main
flake.lock: Update
Build and Test main #407: Commit 45f2c93 pushed by mmarx
2m 9s main
flake.lock: Update
Build and Test main #406: Commit fc2029d pushed by mmarx
2m 4s main
flake.lock: Update
Build and Test main #405: Commit c94cfdf pushed by mmarx
2m 11s main
flake.lock: Update
Build and Test main #404: Commit 78b76f8 pushed by mmarx
2m 13s main
Bug/tracing incremental (#738)
Build and Test main #401: Commit 66519f8 pushed by aannleax
2m 2s main
Prepare for Nemo-0.9.1 release (#734)
Build and Test main #400: Commit d15d7b5 pushed by mmarx
2m 11s main
flake.lock: Update
Build and Test main #398: Commit b00c1c3 pushed by mmarx
2m 10s main
Prepare for Nemo-0.9 (#731)
Build and Test main #397: Commit 7edcb09 pushed by mmarx
2m 7s main
Feature/refactor planning (#726)
Build and Test main #395: Commit 2ad1fb1 pushed by aannleax
2m 1s main
Allow escaping braces in fstrings (#725)
Build and Test main #393: Commit bcf9b27 pushed by mmarx
2m 8s main
Fix transformation order (#717)
Build and Test main #390: Commit c2190b9 pushed by mkroetzsch
2m 4s main