Skip to content

Actions: euisuny/flambda-backend

Actions

jane-syntax-upstream-build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jane_syntax.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix check_and_update_generalized_ty_jkind (#2615) jane-syntax-upstream-build #2: Commit 92a6a15 pushed by euisuny
May 30, 2024 08:57 4m 40s main
main
May 30, 2024 08:57 4m 40s
Use modal kinds to do mode crossing (#2310) jane-syntax-upstream-build #1: Commit 8b43a17 pushed by euisuny
March 1, 2024 10:13 4m 45s main
main
March 1, 2024 10:13 4m 45s