Skip to content

Actions: effekt-lang/effekt

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement free variables, once more... Continuous Integration #3157: Commit 3d53d57 pushed by b-studios
November 24, 2023 13:46 7m 0s feature/ds-js
feature/ds-js
November 24, 2023 13:46 7m 0s
DS-JS Backend Continuous Integration #3156: Pull request #316 opened by b-studios
November 24, 2023 12:56 7m 21s feature/ds-js
feature/ds-js
November 24, 2023 12:56 7m 21s
Add try-catch around entrypoints Continuous Integration #3155: Commit 359d928 pushed by b-studios
November 24, 2023 12:53 8m 2s feature/ds-js
feature/ds-js
November 24, 2023 12:53 8m 2s
Update sbt and scalajs plugin Continuous Integration #3154: Commit 2e865ae pushed by b-studios
November 23, 2023 07:59 8m 13s master
master
November 23, 2023 07:59 8m 13s
Migrate to Scala 3.3.1 Continuous Integration #3153: Commit 0702a1e pushed by b-studios
November 23, 2023 07:48 7m 9s master
master
November 23, 2023 07:48 7m 9s
Port break & continue to all backends Continuous Integration #3152: Pull request #315 opened by jiribenes
November 21, 2023 14:52 8m 53s refactor/control-flow-stdlib
refactor/control-flow-stdlib
November 21, 2023 14:52 8m 53s
Port break & continue to all backends Continuous Integration #3151: Commit bacb777 pushed by jiribenes
November 21, 2023 14:48 8m 49s refactor/control-flow-stdlib
refactor/control-flow-stdlib
November 21, 2023 14:48 8m 49s
add debug timer to runner Continuous Integration #3150: Commit cc66437 pushed by IR0NSIGHT
November 20, 2023 14:45 8m 20s feature/fasteffekt
feature/fasteffekt
November 20, 2023 14:45 8m 20s
Refactor/mrv valdef Continuous Integration #3149: Pull request #313 opened by b-studios
November 16, 2023 21:41 3m 9s refactor/mrv-valdef
refactor/mrv-valdef
November 16, 2023 21:41 3m 9s
Names and comments Continuous Integration #3148: Commit 74bb170 pushed by b-studios
November 16, 2023 21:40 2m 46s refactor/mrv-valdef
refactor/mrv-valdef
November 16, 2023 21:40 2m 46s
Drop trait Named Continuous Integration #3147: Commit 7406bae pushed by b-studios
November 16, 2023 21:34 2m 53s refactor/mrv-valdef
refactor/mrv-valdef
November 16, 2023 21:34 2m 53s
Merge pull request #312 from effekt-lang/feature/multiple-return-valu… Continuous Integration #3146: Commit d2e089b pushed by denhie
November 16, 2023 14:53 6h 0m 24s feature/multiple-return-values
feature/multiple-return-values
November 16, 2023 14:53 6h 0m 24s
Feature/multiple return values invariants Continuous Integration #3145: Pull request #312 opened by phischu
November 16, 2023 11:55 6h 0m 23s feature/multiple-return-values-invariants
feature/multiple-return-values-invariants
November 16, 2023 11:55 6h 0m 23s
Apply suggestions from review Continuous Integration #3144: Commit d4bd084 pushed by phischu
November 16, 2023 11:54 6h 0m 28s feature/multiple-return-values-invariants
feature/multiple-return-values-invariants
November 16, 2023 11:54 6h 0m 28s
Apply suggestions from review Continuous Integration #3143: Commit 90281b2 pushed by phischu
November 16, 2023 11:53 6h 0m 25s feature/multiple-return-values-invariants
feature/multiple-return-values-invariants
November 16, 2023 11:53 6h 0m 25s
remove unused code Continuous Integration #3142: Commit ea5dff5 pushed by denhie
November 16, 2023 10:20 6h 0m 24s feature/multiple-return-values
feature/multiple-return-values
November 16, 2023 10:20 6h 0m 24s
Try to maintain invariant that there is only one symbol per definition Continuous Integration #3141: Commit 99177f7 pushed by phischu
November 15, 2023 18:48 2m 10s feature/multiple-return-values-invariants
feature/multiple-return-values-invariants
November 15, 2023 18:48 2m 10s
fix annotation of captures Continuous Integration #3140: Commit 18ca742 pushed by dvdvgt
November 14, 2023 15:31 8m 35s feature/captures
feature/captures
November 14, 2023 15:31 8m 35s
Add sprinkler-rain-grass model to probabilistic Continuous Integration #3139: Pull request #43 synchronize by mm0821
November 13, 2023 23:23 13m 19s probabilistic
probabilistic
November 13, 2023 23:23 13m 19s
Merge branch 'master' into probabilistic Continuous Integration #3138: Commit d27c204 pushed by mm0821
November 13, 2023 23:23 8m 3s probabilistic
probabilistic
November 13, 2023 23:23 8m 3s
Merge pull request #310 from effekt-lang/feature/higher-rank-poly Continuous Integration #3137: Commit 11218d9 pushed by b-studios
November 11, 2023 12:39 11m 47s master
master
November 11, 2023 12:39 11m 47s
Higher Rank Polymorphism follow-up: parser refactor Continuous Integration #3136: Pull request #310 synchronize by dvdvgt
November 11, 2023 11:28 8m 36s feature/higher-rank-poly
feature/higher-rank-poly
November 11, 2023 11:28 8m 36s
remove unneeded imports Continuous Integration #3135: Commit 5bdbe26 pushed by dvdvgt
November 11, 2023 11:28 15m 0s feature/higher-rank-poly
feature/higher-rank-poly
November 11, 2023 11:28 15m 0s
Higher Rank Polymorphism follow-up: parser refactor Continuous Integration #3134: Pull request #310 opened by dvdvgt
November 11, 2023 11:27 13m 33s feature/higher-rank-poly
feature/higher-rank-poly
November 11, 2023 11:27 13m 33s
refactor type params Continuous Integration #3133: Commit c892c1f pushed by dvdvgt
November 11, 2023 11:24 8m 2s feature/higher-rank-poly
feature/higher-rank-poly
November 11, 2023 11:24 8m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-11-11 or the other filters available.