Skip to content

Actions: effekt-lang/effekt

Actions

Check every stdlib module is compiled (acme)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
acme.yml
735 workflow runs
735 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
Add support for qualified declarations Check every stdlib module is compiled (acme) #855: Pull request #1392 synchronize by jiribenes
9s feature/1223
feature/1223
9s
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 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 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
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 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 Check every stdlib module is compiled (acme) #847: Pull request #1380 synchronize by marzipankaiser
9s experiment/name-based-implicits
experiment/name-based-implicits
9s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #846: Pull request #1380 synchronize by marzipankaiser
7s experiment/name-based-implicits
experiment/name-based-implicits
7s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #845: Pull request #1380 synchronize by marzipankaiser
9s experiment/name-based-implicits
experiment/name-based-implicits
9s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #844: Pull request #1380 synchronize by marzipankaiser
9s experiment/name-based-implicits
experiment/name-based-implicits
9s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #843: Pull request #1380 synchronize by marzipankaiser
6s experiment/name-based-implicits
experiment/name-based-implicits
6s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #842: Pull request #1380 synchronize by marzipankaiser
8s experiment/name-based-implicits
experiment/name-based-implicits
8s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #841: Pull request #1380 synchronize by marzipankaiser
9s experiment/name-based-implicits
experiment/name-based-implicits
9s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #840: Pull request #1380 synchronize by marzipankaiser
6s experiment/name-based-implicits
experiment/name-based-implicits
6s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #839: Pull request #1380 synchronize by marzipankaiser
7s experiment/name-based-implicits
experiment/name-based-implicits
7s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #838: Pull request #1380 synchronize by marzipankaiser
7s experiment/name-based-implicits
experiment/name-based-implicits
7s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #837: Pull request #1380 synchronize by marzipankaiser
7s experiment/name-based-implicits
experiment/name-based-implicits
7s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #836: Pull request #1380 synchronize by marzipankaiser
8s experiment/name-based-implicits
experiment/name-based-implicits
8s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #835: 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) #834: Pull request #1380 synchronize by marzipankaiser
11s experiment/name-based-implicits
experiment/name-based-implicits
11s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #833: Pull request #1380 synchronize by marzipankaiser
10s experiment/name-based-implicits
experiment/name-based-implicits
10s
Add a 'Repr' pass for generating generic representations Check every stdlib module is compiled (acme) #832: Pull request #1381 synchronize by jiribenes
12s feature/repr
feature/repr
12s
Name-based implicits in Effekt Check every stdlib module is compiled (acme) #831: Pull request #1380 synchronize by marzipankaiser
7s experiment/name-based-implicits
experiment/name-based-implicits
7s