Skip to content

Actions: aya-prover/intellij-aya

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: upgrade to Java 21 and new Aya Build #108: Commit 2e7e1b2 pushed by ice1000
May 27, 2024 23:02 2m 4s main
main
May 27, 2024 23:02 2m 4s