Skip to content

Actions: engboris/stellogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #152 from engboris/fix build #312: Commit e8ea680 pushed by engboris
9m 52s master
master
9m 52s
Merge pull request #153 from engboris/interactive build #311: Commit 7eb91bd pushed by engboris
12m 12s master
master
12m 12s
Update examples of web playground build #310: Pull request #153 opened by engboris
11m 25s interactive
interactive
11m 25s
Implement ~= as term unifiability instead of ray compatibility build #309: Pull request #152 opened by engboris
10m 39s fix
fix
10m 39s
Merge pull request #151 from engboris/doc build #308: Commit a865a7a pushed by engboris
10m 42s master
master
10m 42s
Update examples build #307: Pull request #151 synchronize by engboris
10m 36s doc
doc
10m 36s
Update examples build #306: Pull request #151 synchronize by engboris
12m 6s doc
doc
12m 6s
Update examples build #305: Pull request #151 synchronize by engboris
10m 1s doc
doc
10m 1s
Update examples build #304: Pull request #151 synchronize by engboris
10m 24s doc
doc
10m 24s
Update examples build #303: Pull request #151 synchronize by engboris
13m 40s doc
doc
13m 40s
Update examples build #302: Pull request #151 synchronize by engboris
10m 12s doc
doc
10m 12s
Update examples build #301: Pull request #151 opened by engboris
12m 46s doc
doc
12m 46s
Merge pull request #150 from engboris/doc build #300: Commit 3c3a651 pushed by engboris
12m 35s master
master
12m 35s
Update docs build #299: Pull request #150 opened by engboris
13m 14s doc
doc
13m 14s
Merge pull request #149 from engboris/fix build #298: Commit 861ede0 pushed by engboris
12m 42s master
master
12m 42s
Revert interact back to exec build #297: Pull request #149 opened by engboris
14m 33s fix
fix
14m 33s
Merge pull request #148 from engboris/playground build #296: Commit 0396d29 pushed by engboris
12m 11s master
master
12m 11s
Add web playground build #295: Pull request #148 synchronize by engboris
13m 42s playground
playground
13m 42s
Add web playground build #294: Pull request #148 synchronize by engboris
13m 7s playground
playground
13m 7s
Merge pull request #147 from engboris/fix build #293: Commit 82d1642 pushed by engboris
9m 28s master
master
9m 28s
Add web playground build #292: Pull request #148 synchronize by engboris
12m 31s playground
playground
12m 31s
Add web playground build #291: Pull request #148 synchronize by engboris
9m 38s playground
playground
9m 38s
Add web playground build #290: Pull request #148 opened by engboris
10m 4s playground
playground
10m 4s
Unify expressions and declarations and make macros universal build #289: Pull request #147 synchronize by engboris
9m 8s fix
fix
9m 8s
Unify expressions and declarations and make macros universal build #288: Pull request #147 opened by engboris
9m 32s fix
fix
9m 32s