Skip to content

Actions: engboris/stellogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update basics and resolve focus and directionality research build #270: Pull request #138 synchronize by engboris
10m 37s doc
doc
10m 37s
Update basics and resolve focus and directionality research build #269: Pull request #138 synchronize by engboris
9m 24s doc
doc
9m 24s
Update basics and resolve focus and directionality research build #268: Pull request #138 opened by engboris
9m 13s doc
doc
9m 13s
Merge pull request #137 from engboris/fix build #267: Commit 916266c pushed by engboris
9m 56s master
master
9m 56s
Add doc on macros as compile-time definitions build #266: Pull request #137 opened by engboris
8m 55s fix
fix
8m 55s
Merge pull request #136 from engboris/fix build #265: Commit 99c9906 pushed by engboris
10m 14s master
master
10m 14s
Fix datatype of expr with locations build #264: Pull request #136 synchronize by engboris
9m 51s fix
fix
9m 51s
Fix datatype of expr with locations build #263: Pull request #136 synchronize by engboris
9m 53s fix
fix
9m 53s
Fix datatype of expr with locations build #262: Pull request #136 opened by engboris
10m 14s fix
fix
10m 14s
Merge pull request #135 from engboris/claude-research build #261: Commit c3ed8e6 pushed by engboris
9m 57s master
master
9m 57s
Add research docs build #260: Pull request #135 synchronize by engboris
9m 21s claude-research
claude-research
9m 21s
Add research docs build #259: Pull request #135 synchronize by engboris
8m 58s claude-research
claude-research
8m 58s
Add research docs build #258: Pull request #135 opened by engboris
9m 43s claude-research
claude-research
9m 43s
Merge pull request #134 from engboris/claude-research build #257: Commit 4958b56 pushed by engboris
9m 23s master
master
9m 23s
Add doc on synchronization of stars build #256: Pull request #134 opened by engboris
10m 55s claude-research
claude-research
10m 55s
Merge pull request #133 from engboris/interactive build #255: Commit 99710e5 pushed by engboris
9m 23s master
master
9m 23s
Use macros in Turing machine example and add attempts in watcher build #254: Pull request #133 synchronize by engboris
12m 34s interactive
interactive
12m 34s
Use macros in Turing machine example and add attempts in watcher build #253: Pull request #133 synchronize by engboris
9m 30s interactive
interactive
9m 30s
Use macros in Turing machine example and add attempts in watcher build #252: Pull request #133 opened by engboris
10m 16s interactive
interactive
10m 16s
Merge pull request #132 from engboris/interactive build #251: Commit 1d1c407 pushed by engboris
10m 39s master
master
10m 39s
Add program watcher build #250: Pull request #132 synchronize by engboris
10m 54s interactive
interactive
10m 54s
Add program watcher build #249: Pull request #132 opened by engboris
10m 39s interactive
interactive
10m 39s
Merge pull request #131 from engboris/parsing build #248: Commit b3136ef pushed by engboris
9m 22s master
master
9m 22s
Use incremental parsing and add error recovery build #247: Pull request #131 synchronize by engboris
9m 35s parsing
parsing
9m 35s
Use incremental parsing and add error recovery build #246: Pull request #131 synchronize by engboris
10m 56s parsing
parsing
10m 56s