Skip to content

Actions: effekt-lang/effekt

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove leftovers from optimization PR Continuous Integration #3003: Commit 3fa4202 pushed by denhie
July 18, 2023 11:15 6m 55s feature/multiple-return-values
feature/multiple-return-values
July 18, 2023 11:15 6m 55s
Merge pull request #212 from serkm/llvm-version Continuous Integration #3002: Commit cc3678a pushed by b-studios
July 18, 2023 08:08 7m 53s master
master
July 18, 2023 08:08 7m 53s
Make most tests work Continuous Integration #3001: Commit 1b1d5b6 pushed by denhie
July 17, 2023 14:13 7m 39s feature/multiple-return-values
feature/multiple-return-values
July 17, 2023 14:13 7m 39s
Set default llvm version to 15 Continuous Integration #3000: Pull request #212 synchronize by serkm
July 12, 2023 17:52 10m 42s serkm:llvm-version
serkm:llvm-version
July 12, 2023 17:52 10m 42s
Set default llvm version to 15 Continuous Integration #2999: Pull request #212 synchronize by serkm
July 12, 2023 17:49 7m 54s serkm:llvm-version
serkm:llvm-version
July 12, 2023 17:49 7m 54s
Set default llvm version to 15 Continuous Integration #2998: Pull request #212 synchronize by serkm
July 12, 2023 17:32 9m 27s serkm:llvm-version
serkm:llvm-version
July 12, 2023 17:32 9m 27s
Set default llvm version to 15 Continuous Integration #2997: Pull request #212 synchronize by serkm
July 12, 2023 16:35 38s serkm:llvm-version
serkm:llvm-version
July 12, 2023 16:35 38s
Set default llvm version to 15 Continuous Integration #2996: Pull request #212 synchronize by serkm
July 12, 2023 15:52 9m 7s serkm:llvm-version
serkm:llvm-version
July 12, 2023 15:52 9m 7s
Merge pull request #248 from serkm/state-with-evidence Continuous Integration #2995: Commit c785207 pushed by phischu
July 11, 2023 13:28 7m 52s master
master
July 11, 2023 13:28 7m 52s
First work on capture test Continuous Integration #2994: Commit 2cc55be pushed by MattisKra
July 10, 2023 21:42 6m 40s feature/partial-type-signatures
feature/partial-type-signatures
July 10, 2023 21:42 6m 40s
Also allow file Continuous Integration #2993: Commit 8700f5f pushed by marzipankaiser
July 4, 2023 12:34 10m 5s feature/partial-type-signatures--test-infrastructure
feature/partial-type-signatures--test-infrastructure
July 4, 2023 12:34 10m 5s
Adds first work for CaptureSetWildcards Continuous Integration #2992: Commit 4bb42a4 pushed by MattisKra
July 3, 2023 20:25 2m 57s experimental/partial-type-signatures
experimental/partial-type-signatures
July 3, 2023 20:25 2m 57s
Add basic test infrastructure for checking inferred types Continuous Integration #2991: Commit c418413 pushed by marzipankaiser
June 29, 2023 15:43 6m 37s feature/partial-type-signatures--test-infrastructure
feature/partial-type-signatures--test-infrastructure
June 29, 2023 15:43 6m 37s
BlockType Wildcards infer right type signature, not usable yet. Continuous Integration #2990: Commit 758369c pushed by MattisKra
June 26, 2023 20:24 10m 11s feature/partial-type-signatures
feature/partial-type-signatures
June 26, 2023 20:24 10m 11s
Multiple Return Values Continuous Integration #2989: Pull request #272 opened by denhie
June 20, 2023 12:46 3m 35s feature/multiple-return-values
feature/multiple-return-values
June 20, 2023 12:46 3m 35s
make compilable Continuous Integration #2988: Commit 8e31679 pushed by denhie
June 20, 2023 12:43 3m 59s feature/multiple-return-values
feature/multiple-return-values
June 20, 2023 12:43 3m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-06-20 or the other filters available.