Skip to content

Actions: se-tuebingen/effect-handlers-bench

Actions

Eff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
system_eff.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add the Effekt language (#52) Eff #1: Commit 6845589 pushed by phischu
May 17, 2024 11:15 8m 25s main
main
May 17, 2024 11:15 8m 25s