Skip to content

Actions: effekt-lang/effekt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Unify PureApp, ImpureApp, and AsyncApp CI #850: Pull request #1298 synchronize by phischu
14m 41s refactor/delete_pureapp
refactor/delete_pureapp
14m 41s
Unify PureApp, ImpureApp, and AsyncApp CI #849: Pull request #1298 synchronize by phischu
1m 2s refactor/delete_pureapp
refactor/delete_pureapp
1m 2s
Name-based implicits in Effekt (#1380) Main CI #75: Commit 5eb9423 pushed by b-studios
41m 1s main
main
41m 1s
Experiment: annotate hot paths on LLVM CI #848: Pull request #1384 synchronize by jiribenes
14m 26s experiment/llvm-assume
experiment/llvm-assume
14m 26s
Experiment: annotate hot paths on LLVM CI #847: Pull request #1384 synchronize by jiribenes
14m 26s experiment/llvm-assume
experiment/llvm-assume
14m 26s
Experiment: annotate hot paths on LLVM CI #846: Pull request #1384 synchronize by jiribenes
14m 11s experiment/llvm-assume
experiment/llvm-assume
14m 11s
Experiment: annotate hot paths on LLVM CI #845: Pull request #1384 synchronize by jiribenes
14m 11s experiment/llvm-assume
experiment/llvm-assume
14m 11s
Experiment: annotate hot paths on LLVM CI #844: Pull request #1384 synchronize by jiribenes
30m 19s experiment/llvm-assume
experiment/llvm-assume
30m 19s
Experiment: annotate hot paths on LLVM CI #843: Pull request #1384 opened by jiribenes
44m 25s experiment/llvm-assume
experiment/llvm-assume
44m 25s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #854: Pull request #1380 synchronize by marzipankaiser
10s experiment/name-based-implicits
experiment/name-based-implicits
10s
Name-based implicits in Effekt CI #842: Pull request #1380 synchronize by marzipankaiser
14m 17s experiment/name-based-implicits
experiment/name-based-implicits
14m 17s
Fix position for unreachable case warning in irrefutable 'val-else' #… Main CI #74: Commit 7e5beee pushed by jiribenes
40m 8s main
main
40m 8s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #853: Pull request #1380 synchronize by marzipankaiser
8s experiment/name-based-implicits
experiment/name-based-implicits
8s
Name-based implicits in Effekt CI #841: Pull request #1380 synchronize by marzipankaiser
7m 41s experiment/name-based-implicits
experiment/name-based-implicits
7m 41s
Name-based implicits in Effekt CI #840: Pull request #1380 synchronize by marzipankaiser
14m 23s experiment/name-based-implicits
experiment/name-based-implicits
14m 23s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #852: Pull request #1380 synchronize by marzipankaiser
10s experiment/name-based-implicits
experiment/name-based-implicits
10s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #851: Pull request #1380 synchronize by marzipankaiser
10s experiment/name-based-implicits
experiment/name-based-implicits
10s
Name-based implicits in Effekt CI #839: Pull request #1380 synchronize by marzipankaiser
14m 21s experiment/name-based-implicits
experiment/name-based-implicits
14m 21s
Track qualified signature for extern definitons (#1370) Main CI #73: Commit daffa30 pushed by timsueberkrueb
35m 39s main
main
35m 39s
Track qualified signature for extern definitons CI #838: Pull request #1370 synchronize by timsueberkrueb
14m 44s externs-qualified-signature
externs-qualified-signature
14m 44s
Track qualified signature for extern definitons Check every stdlib module is compiled (acme) #850: Pull request #1370 synchronize by timsueberkrueb
9s externs-qualified-signature
externs-qualified-signature
9s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #849: Pull request #1380 synchronize by marzipankaiser
10s experiment/name-based-implicits
experiment/name-based-implicits
10s
Name-based implicits in Effekt CI #837: Pull request #1380 synchronize by marzipankaiser
14m 41s experiment/name-based-implicits
experiment/name-based-implicits
14m 41s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #848: Pull request #1380 synchronize by marzipankaiser
9s experiment/name-based-implicits
experiment/name-based-implicits
9s
Name-based implicits in Effekt CI #836: Pull request #1380 synchronize by marzipankaiser
14m 40s experiment/name-based-implicits
experiment/name-based-implicits
14m 40s