Skip to content

Actions: engboris/stellogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #194 from engboris/docs build #441: Commit 0edc8c2 pushed by engboris
10m 12s master
master
10m 12s
Add docs build #440: Pull request #194 opened by engboris
11m 22s docs
docs
11m 22s
Remove 'then' primitive build #439: Pull request #193 opened by engboris
10m 13s syntax
syntax
10m 13s
Merge pull request #192 from engboris/reactive-execution build #438: Commit adbd45c pushed by engboris
11m 19s master
master
11m 19s
Implement new paradigm of execution build #437: Pull request #192 synchronize by engboris
11m 37s reactive-execution
reactive-execution
11m 37s
Implement new paradigm of execution build #436: Pull request #192 synchronize by engboris
10m 5s reactive-execution
reactive-execution
10m 5s
Implement new paradigm of execution build #435: Pull request #192 synchronize by engboris
11m 43s reactive-execution
reactive-execution
11m 43s
Implement new paradigm of execution build #434: Pull request #192 synchronize by engboris
12m 7s reactive-execution
reactive-execution
12m 7s
Implement new paradigm of execution build #433: Pull request #192 synchronize by engboris
10m 15s reactive-execution
reactive-execution
10m 15s
Implement new paradigm of execution build #432: Pull request #192 opened by engboris
11m 50s reactive-execution
reactive-execution
11m 50s
Merge pull request #190 from engboris/fix-playground build #431: Commit 76eb53f pushed by engboris
13m 8s master
master
13m 8s
Merge pull request #191 from engboris/modalities build #430: Commit 76d7437 pushed by engboris
12m 28s master
master
12m 28s
Fix playground build #429: Pull request #190 synchronize by engboris
12m 11s fix-playground
fix-playground
12m 11s
Add research docs and fix variable renaming build #428: Pull request #191 synchronize by engboris
11m 53s modalities
modalities
11m 53s
Add research docs and fix variable renaming build #427: Pull request #191 synchronize by engboris
10m 31s modalities
modalities
10m 31s
Add research docs and fix variable renaming build #426: Pull request #191 synchronize by engboris
12m 6s modalities
modalities
12m 6s
Add research docs and fix variable renaming build #425: Pull request #191 opened by engboris
12m 6s modalities
modalities
12m 6s
Fix playground build #424: Pull request #190 opened by engboris
11m 12s fix-playground
fix-playground
11m 12s
Merge pull request #189 from engboris/phasing build #423: Commit ba5bba5 pushed by engboris
12m 45s master
master
12m 45s
Implement two-phase computation for typechecking build #422: Pull request #189 synchronize by engboris
11m 13s phasing
phasing
11m 13s
Implement two-phase computation for typechecking build #421: Pull request #189 synchronize by engboris
12m 28s phasing
phasing
12m 28s
Implement two-phase computation for typechecking build #420: Pull request #189 synchronize by engboris
11m 40s phasing
phasing
11m 40s
Add phasing in execution of programs build #419: Pull request #183 synchronize by engboris
11m 6s phasing
phasing
11m 6s
Add phasing in execution of programs build #418: Pull request #183 synchronize by engboris
10m 16s phasing
phasing
10m 16s
Add phasing in execution of programs build #417: Pull request #183 synchronize by engboris
12m 1s phasing
phasing
12m 1s