Skip to content

Actions: aya-prover/intellij-aya

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
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