Skip to content

Actions: knowsys/nemo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
617 workflow runs
617 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rule Set Classification CI PR #1556: Pull request #610 synchronize by xR0xEr
10m 7s feature/static_checks
feature/static_checks
10m 7s
Bugfix: Converting a loaded program into a String CI PR #1555: Pull request #758 opened by Leo-Aus-Berlin
10m 34s Leo-Aus-Berlin:bugfix/program-to-string
Leo-Aus-Berlin:bugfix/program-to-string
10m 34s
Rule Set Classification CI PR #1554: Pull request #610 synchronize by xR0xEr
10m 4s feature/static_checks
feature/static_checks
10m 4s
Rule Set Classification CI PR #1553: Pull request #610 synchronize by xR0xEr
10m 49s feature/static_checks
feature/static_checks
10m 49s
Provide Tracing IDs on Nemo side (#755) Build and Test main #414: Commit ca39844 pushed by monsterkrampe
2m 12s main
main
2m 12s
Provide Tracing IDs on Nemo side (#755) Build with nix and create docker image #58: Commit ca39844 pushed by monsterkrampe
1h 4m 53s main
main
1h 4m 53s
Provide Tracing IDs on Nemo side CI PR #1552: Pull request #755 synchronize by monsterkrampe
10m 32s bug/tracing-ids
bug/tracing-ids
10m 32s
Provide Tracing IDs on Nemo side CI PR #1551: Pull request #755 synchronize by monsterkrampe
10m 58s bug/tracing-ids
bug/tracing-ids
10m 58s
Provide Tracing IDs on Nemo side CI PR #1550: Pull request #755 synchronize by monsterkrampe
4m 1s bug/tracing-ids
bug/tracing-ids
4m 1s
Provide Tracing IDs on Nemo side CI PR #1549: Pull request #755 opened by monsterkrampe
2m 0s bug/tracing-ids
bug/tracing-ids
2m 0s
Rename apart incremental predicates (#753) Build and Test main #413: Commit 689d6f0 pushed by mmarx
2m 3s main
main
2m 3s
Rename apart incremental predicates (#753) Build with nix and create docker image #57: Commit 689d6f0 pushed by mmarx
58m 21s main
main
58m 21s
Rename apart incremental predicates CI PR #1548: Pull request #753 opened by aannleax
10m 13s feature/incremental-renaming
feature/incremental-renaming
10m 13s
Execution time in tracing Build and Test main #412: Commit d9329d3 pushed by aannleax
2m 11s main
main
2m 11s
Execution time in tracing Build with nix and create docker image #56: Commit d9329d3 pushed by aannleax
57m 3s main
main
57m 3s
Feature/execution time in traces CI PR #1547: Pull request #751 synchronize by aannleax
10m 34s feature/execution-time-in-traces
feature/execution-time-in-traces
10m 34s
do not apply constant operations to factors (#752) Build and Test main #411: Commit 5956aca pushed by mmarx
2m 9s main
main
2m 9s
do not apply constant operations to factors (#752) Build with nix and create docker image #55: Commit 5956aca pushed by mmarx
56m 42s main
main
56m 42s
do not apply constant operations to factors CI PR #1546: Pull request #752 opened by aannleax
10m 28s bug/incremental-cartesian
bug/incremental-cartesian
10m 28s
Feature/execution time in traces CI PR #1545: Pull request #751 synchronize by aannleax
10m 23s feature/execution-time-in-traces
feature/execution-time-in-traces
10m 23s
Feature/execution time in traces CI PR #1544: Pull request #751 opened by aannleax
4m 53s feature/execution-time-in-traces
feature/execution-time-in-traces
4m 53s
Fix tracing computation of valid nodes (#750) Build and Test main #410: Commit 9de82e2 pushed by aannleax
2m 5s main
main
2m 5s
Fix tracing computation of valid nodes (#750) Build with nix and create docker image #54: Commit 9de82e2 pushed by aannleax
56m 17s main
main
56m 17s
fix tracing computation of valid nodes CI PR #1543: Pull request #750 opened by aannleax
10m 49s bug/tracing-valid-nodes
bug/tracing-valid-nodes
10m 49s
correctly compute the bound positions (#749) Build and Test main #409: Commit c1d5e40 pushed by mmarx
2m 11s main
main
2m 11s