Skip to content

Actions: effekt-lang/effekt

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4868: Pull request #561 synchronize by jiribenes
December 13, 2024 19:52 7m 15s feature/stdlib/treemap-treeset
December 13, 2024 19:52 7m 15s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4867: Pull request #561 synchronize by jiribenes
December 13, 2024 19:51 7m 27s feature/stdlib/treemap-treeset
December 13, 2024 19:51 7m 27s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4866: Pull request #561 synchronize by jiribenes
December 13, 2024 19:49 6m 54s feature/stdlib/treemap-treeset
December 13, 2024 19:49 6m 54s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4865: Pull request #561 synchronize by jiribenes
December 13, 2024 19:34 6m 49s feature/stdlib/treemap-treeset
December 13, 2024 19:34 6m 49s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4864: Pull request #561 synchronize by jiribenes
December 13, 2024 19:20 6m 21s feature/stdlib/treemap-treeset
December 13, 2024 19:20 6m 21s
Add immutable ordered finite 'map' and 'set' to the stdlib
Continuous Integration #4863: Pull request #561 synchronize by jiribenes
December 13, 2024 19:08 6m 26s feature/stdlib/treemap-treeset
December 13, 2024 19:08 6m 26s
Add a regression check for #692 (#693)
Continuous Integration #4862: Commit 6753ebc pushed by jiribenes
December 13, 2024 16:53 8m 18s master
December 13, 2024 16:53 8m 18s
Do not abort after successful compilation on js-web
Continuous Integration #4861: Pull request #747 opened by jiribenes
December 13, 2024 16:26 8m 29s fix/js-web/do-not-abort
December 13, 2024 16:26 8m 29s
Revert "Cherry-pick inlining fix from #725" (#745)
Continuous Integration #4860: Commit 94c8851 pushed by jiribenes
December 12, 2024 16:34 7m 27s master
December 12, 2024 16:34 7m 27s
Add basic string interpolation / string templates
Continuous Integration #4859: Pull request #743 synchronize by dvdvgt
December 12, 2024 16:00 6m 54s feature/string-interpolation
December 12, 2024 16:00 6m 54s
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