Skip to content

Actions: effekt-lang/effekt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,750 workflow runs
1,750 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature/core constructor (#349) Continuous Integration #3383: Commit 8778ec0 pushed by b-studios
December 11, 2023 18:29 10m 17s master
master
December 11, 2023 18:29 10m 17s
Feature/core constructor Continuous Integration #3382: Pull request #349 synchronize by b-studios
December 11, 2023 15:26 9m 47s feature/core-constructor
feature/core-constructor
December 11, 2023 15:26 9m 47s
Fix js tests by registering constructor mentions as dependency Continuous Integration #3381: Commit 122dec9 pushed by b-studios
December 11, 2023 15:26 9m 49s feature/core-constructor
feature/core-constructor
December 11, 2023 15:26 9m 49s
Feature/core constructor Continuous Integration #3380: Pull request #349 opened by b-studios
December 11, 2023 15:06 8m 31s feature/core-constructor
feature/core-constructor
December 11, 2023 15:06 8m 31s
Fix polymorphism boxing Continuous Integration #3379: Commit b4f856a pushed by b-studios
December 11, 2023 14:57 9m 28s feature/core-constructor
feature/core-constructor
December 11, 2023 14:57 9m 28s
Also add make as constructor to lifted Continuous Integration #3378: Commit 7cb7807 pushed by b-studios
December 11, 2023 13:34 9m 28s feature/core-constructor
feature/core-constructor
December 11, 2023 13:34 9m 28s
Fix ChezLift tests Continuous Integration #3377: Commit 36b3113 pushed by b-studios
December 9, 2023 22:35 8m 18s feature/core-constructor
feature/core-constructor
December 9, 2023 22:35 8m 18s
Don't include matching now it is compiled Continuous Integration #3376: Commit 81967a3 pushed by b-studios
December 9, 2023 22:20 7m 29s feature/core-constructor
feature/core-constructor
December 9, 2023 22:20 7m 29s
Fix adaptation of calling convention for constructors Continuous Integration #3375: Commit 63add2a pushed by b-studios
December 9, 2023 22:20 8m 5s feature/core-constructor
feature/core-constructor
December 9, 2023 22:20 8m 5s
Support bidirectional handlers Continuous Integration #3374: Commit 7339c89 pushed by b-studios
December 9, 2023 18:58 7m 36s feature/core-constructor
feature/core-constructor
December 9, 2023 18:58 7m 36s
Generate handlers explicitly to cut down on runtime costs Continuous Integration #3373: Commit 8c98dcb pushed by b-studios
December 9, 2023 18:33 7m 40s feature/core-constructor
feature/core-constructor
December 9, 2023 18:33 7m 40s
Fix "Annotate Captures" feature of the VSCode extension Continuous Integration #3372: Pull request #348 synchronize by dvdvgt
December 9, 2023 12:36 8m 38s feature/captures
feature/captures
December 9, 2023 12:36 8m 38s
reuse cached frontend and middleend for server mode Continuous Integration #3371: Commit 079fc95 pushed by dvdvgt
December 9, 2023 12:36 9m 12s feature/captures
feature/captures
December 9, 2023 12:36 9m 12s
Use new constructor in JS backend to emit 'new' Continuous Integration #3370: Commit 6097095 pushed by b-studios
December 9, 2023 12:26 7m 27s feature/core-constructor
feature/core-constructor
December 9, 2023 12:26 7m 27s
Fix "Annotate Captures" feature of the VSCode extension Continuous Integration #3369: Pull request #348 opened by dvdvgt
December 8, 2023 18:54 10m 19s feature/captures
feature/captures
December 8, 2023 18:54 10m 19s
fix annotation of captures Continuous Integration #3368: Commit c918d0d pushed by dvdvgt
December 8, 2023 18:46 9m 58s feature/captures
feature/captures
December 8, 2023 18:46 9m 58s
Add sbt task for building the JS file (#347) Continuous Integration #3367: Commit 94b8b65 pushed by b-studios
December 8, 2023 18:30 10m 7s master
master
December 8, 2023 18:30 10m 7s
Add sbt task for building the JS file Continuous Integration #3366: Pull request #347 synchronize by dvdvgt
December 8, 2023 17:55 10m 12s sbt-js-task
sbt-js-task
December 8, 2023 17:55 10m 12s
use fullOptJS Continuous Integration #3365: Commit c3891ff pushed by dvdvgt
December 8, 2023 17:55 10m 16s sbt-js-task
sbt-js-task
December 8, 2023 17:55 10m 16s
Fix missing code snippet ending (#346) Continuous Integration #3364: Commit 86bee99 pushed by b-studios
December 8, 2023 17:44 9m 45s master
master
December 8, 2023 17:44 9m 45s
Add sbt task for building the JS file Continuous Integration #3363: Pull request #347 opened by dvdvgt
December 8, 2023 17:27 9m 24s sbt-js-task
sbt-js-task
December 8, 2023 17:27 9m 24s
add sbt task for building the JS file Continuous Integration #3362: Commit f064690 pushed by dvdvgt
December 8, 2023 17:22 9m 8s sbt-js-task
sbt-js-task
December 8, 2023 17:22 9m 8s
Fix missing code snippet ending Continuous Integration #3361: Pull request #346 opened by marvinborner
December 8, 2023 16:36 9m 27s marvinborner:fix/casestudies-anf-markdown
marvinborner:fix/casestudies-anf-markdown
December 8, 2023 16:36 9m 27s
Fix non-zero exit code on error Continuous Integration #3360: Pull request #338 synchronize by marvinborner
December 8, 2023 14:22 10m 11s marvinborner:fix/non-zero-exit-code
marvinborner:fix/non-zero-exit-code
December 8, 2023 14:22 10m 11s
Fix non-zero exit code on error Continuous Integration #3359: Pull request #338 synchronize by marvinborner
December 8, 2023 14:04 9m 58s marvinborner:fix/non-zero-exit-code
marvinborner:fix/non-zero-exit-code
December 8, 2023 14:04 9m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.