Skip to content

Actions: effekt-lang/effekt

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,856 workflow runs
1,856 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "Cherry-pick inlining fix from #725"
Continuous Integration #4858: Pull request #745 opened by jiribenes
December 12, 2024 14:18 8m 38s revert-730-fix/inlining
December 12, 2024 14:18 8m 38s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4857: Pull request #561 synchronize by jiribenes
December 12, 2024 13:09 8m 48s feature/stdlib/treemap-treeset
December 12, 2024 13:09 8m 48s
Add basic string interpolation / string templates
Continuous Integration #4856: Pull request #743 opened by dvdvgt
December 12, 2024 11:50 7m 55s feature/string-interpolation
December 12, 2024 11:50 7m 55s
Make sure unique name is actually fresh (#741)
Continuous Integration #4855: Commit f913482 pushed by phischu
December 12, 2024 11:44 7m 43s master
December 12, 2024 11:44 7m 43s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4854: Pull request #561 synchronize by jiribenes
December 12, 2024 11:40 8m 10s feature/stdlib/treemap-treeset
December 12, 2024 11:40 8m 10s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4853: Pull request #561 synchronize by jiribenes
December 12, 2024 10:28 7m 47s feature/stdlib/treemap-treeset
December 12, 2024 10:28 7m 47s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4852: Pull request #561 synchronize by jiribenes
December 12, 2024 10:10 8m 59s feature/stdlib/treemap-treeset
December 12, 2024 10:10 8m 59s
Fix lexing of ' (#742)
Continuous Integration #4851: Commit 104e943 pushed by jiribenes
December 12, 2024 09:49 8m 6s master
December 12, 2024 09:49 8m 6s
Fix lexing of '
Continuous Integration #4850: Pull request #742 opened by dvdvgt
December 12, 2024 09:40 7m 22s fix/parse-tick
December 12, 2024 09:40 7m 22s
Make sure unique name is actually fresh
Continuous Integration #4849: Pull request #741 synchronize by phischu
December 12, 2024 09:11 9m 26s fix/fresher_names
December 12, 2024 09:11 9m 26s
Make sure unique name is actually fresh
Continuous Integration #4848: Pull request #741 synchronize by phischu
December 12, 2024 08:40 8m 56s fix/fresher_names
December 12, 2024 08:40 8m 56s
Implement missing math functions in LLVM backend
Continuous Integration #4847: Pull request #739 synchronize by mattisboeckle
December 11, 2024 22:15 7m 53s mattisboeckle:fix/llvm-missing-math
December 11, 2024 22:15 7m 53s
Allow importing JS-specific Effekt libraries on jsWeb backend (#738)
Continuous Integration #4846: Commit bccb2b3 pushed by jiribenes
December 11, 2024 15:15 8m 15s master
December 11, 2024 15:15 8m 15s
Make sure unique name is actually fresh
Continuous Integration #4845: Pull request #741 opened by phischu
December 11, 2024 13:44 2m 46s fix/fresher_names
December 11, 2024 13:44 2m 46s
Implement missing math functions in LLVM backend
Continuous Integration #4844: Pull request #739 opened by mattisboeckle
December 11, 2024 12:54 7m 27s mattisboeckle:fix/llvm-missing-math
December 11, 2024 12:54 7m 27s
Allow importing JS-specific Effekt libraries on jsWeb backend
Continuous Integration #4843: Pull request #738 opened by jiribenes
December 11, 2024 12:31 8m 14s fix/jsweb-jslib
December 11, 2024 12:31 8m 14s
Add new escapes to 'string/tty', rename to 'tty', deprecate ANSI na…
Continuous Integration #4842: Commit 92a6e0f pushed by jiribenes
December 10, 2024 19:41 8m 46s master
December 10, 2024 19:41 8m 46s
Add new escapes to 'string/tty', rename to 'tty', deprecate ANSI namespace
Continuous Integration #4841: Pull request #728 synchronize by jiribenes
December 10, 2024 19:29 7m 42s feature/more-complete-tty
December 10, 2024 19:29 7m 42s
Add new escapes to 'string/tty', rename to 'tty', deprecate ANSI namespace
Continuous Integration #4840: Pull request #728 synchronize by jiribenes
December 10, 2024 19:15 7m 5s feature/more-complete-tty
December 10, 2024 19:15 7m 5s
Implemented count function for Lists (#729)
Continuous Integration #4839: Commit 45a1006 pushed by jiribenes
December 10, 2024 17:53 7m 29s master
December 10, 2024 17:53 7m 29s
Fix some memory leaks
Continuous Integration #4838: Pull request #736 opened by phischu
December 10, 2024 17:40 8m 12s fix/free_variables_leak
December 10, 2024 17:40 8m 12s
Stdlib: Add simple libraries: Scanner, Json
Continuous Integration #4837: Pull request #631 synchronize by phischu
December 10, 2024 17:15 6m 45s library/json
December 10, 2024 17:15 6m 45s
Implemented count function for Lists
Continuous Integration #4836: Pull request #729 synchronize by JakubSchwenkbeck
December 10, 2024 16:59 7m 44s JakubSchwenkbeck:stdlib/list/countIf
December 10, 2024 16:59 7m 44s
Add UTF-8 console encoding support for Windows
Continuous Integration #4832: Pull request #734 opened by zaryar
December 10, 2024 15:04 7m 58s zaryar:EmojiesOnWindows
December 10, 2024 15:04 7m 58s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4831: Pull request #561 synchronize by jiribenes
December 10, 2024 12:16 7m 31s feature/stdlib/treemap-treeset
December 10, 2024 12:16 7m 31s