Skip to content

Actions: effekt-lang/effekt

Actions

Main CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-main.yml
95 workflow runs
95 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump version to 0.73.0 Main CI #95: Commit 4f95f6e pushed by effekt-updater Bot
34m 47s main
main
34m 47s
Track depth of typed holes in lexer (#1364) Main CI #94: Commit 300c5e1 pushed by jiribenes
1h 2m 36s main
main
1h 2m 36s
Fix '*=' lexing (#1413) Main CI #93: Commit a8f551c pushed by jiribenes
46m 19s main
main
46m 19s
Add 'string::utf8ByteLength' (#1412) Main CI #92: Commit 7ffa22b pushed by jiribenes
35m 1s main
main
35m 1s
Fix text of ad casestudy (#1401) Main CI #91: Commit 628acac pushed by phischu
34m 5s main
main
34m 5s
Bump version to 0.72.0 Main CI #90: Commit 18db9d1 pushed by effekt-updater Bot
39m 16s main
main
39m 16s
Add missing show binding (#1408) Main CI #89: Commit 9e69789 pushed by mattisboeckle
34m 4s main
main
34m 4s
Bump version to 0.71.0 Main CI #88: Commit 260aa23 pushed by effekt-updater Bot
45m 7s main
main
45m 7s
Implement easy C externs (#1402) Main CI #87: Commit ec45c67 pushed by mattisboeckle
40m 47s main
main
40m 47s
Resolve flaky ReparseTests by making coreBuiltins lazy (#1407) Main CI #86: Commit a48ae92 pushed by b-studios
41m 48s main
main
41m 48s
Bump version to 0.70.0 Main CI #85: Commit 862b6d5 pushed by effekt-updater Bot
21m 59s main
main
21m 59s
Fix argument count check (#1406) Main CI #84: Commit de52cc3 pushed by marzipankaiser
45m 13s main
main
45m 13s
Bump version to 0.69.0 Main CI #83: Commit b734023 pushed by effekt-updater Bot
39m 12s main
main
39m 12s
Speedup implicits (#1396) Main CI #82: Commit 111c396 pushed by b-studios
42m 26s main
main
42m 26s
Add debug flag and separate type checking and inference (#1394) Main CI #81: Commit 736a499 pushed by b-studios
44m 42s main
main
44m 42s
LSP: Show documentation on hover for externs (#1395) Main CI #80: Commit b8214fd pushed by jiribenes
44m 26s main
main
44m 26s
Add support for qualified declarations (#1392) Main CI #79: Commit e7f0084 pushed by jiribenes
53m 23s main
main
53m 23s
Allow qualified use mentioning current module (#1388) Main CI #78: Commit 6e9d008 pushed by jiribenes
50m 34s main
main
50m 34s
Revert #1278 (Add build.mill setup) (#1387) Main CI #77: Commit 1b5ab11 pushed by jiribenes
43m 58s main
main
43m 58s
Bump version to 0.68.0 Main CI #76: Commit 9433c5b pushed by effekt-updater Bot
49m 35s main
main
49m 35s
Name-based implicits in Effekt (#1380) Main CI #75: Commit 5eb9423 pushed by b-studios
41m 1s main
main
41m 1s
Fix position for unreachable case warning in irrefutable 'val-else' #… Main CI #74: Commit 7e5beee pushed by jiribenes
40m 8s main
main
40m 8s
Track qualified signature for extern definitons (#1370) Main CI #73: Commit daffa30 pushed by timsueberkrueb
35m 39s main
main
35m 39s
Replace partial functions by dynamic dispatch (#1383) Main CI #72: Commit 2a3349f pushed by phischu
34m 42s main
main
34m 42s
Bump version to 0.67.0 Main CI #71: Commit 034ec83 pushed by effekt-updater Bot
40m 44s main
main
40m 44s