Skip to content

Actions: aya-prover/intellij-aya

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

aya: port bnf Build #117: Commit 59599b4 pushed by ice1000
July 2, 2024 18:35 3m 49s main
main
July 2, 2024 18:35 3m 49s
aya: reimplement GoalsView Build #116: Commit 00121e8 pushed by ice1000
July 2, 2024 18:29 3m 38s main
main
July 2, 2024 18:29 3m 38s
aya: sync with latest implementation Build #115: Commit e11ce07 pushed by ice1000
July 2, 2024 18:26 3m 21s main
main
July 2, 2024 18:26 3m 21s
aya: tmp fix of the assertion error Build #114: Commit 983684e pushed by ice1000
May 31, 2024 00:32 6m 3s main
main
May 31, 2024 00:32 6m 3s
aya: address keyword change Build #113: Commit 4ef1646 pushed by ice1000
May 31, 2024 00:29 4m 48s main
main
May 31, 2024 00:29 4m 48s
build: use Kotlin 2.0 Build #112: Commit 052af25 pushed by ice1000
May 30, 2024 22:48 5m 52s main
main
May 30, 2024 22:48 5m 52s
ci: install 21 Build #111: Commit 8c785e1 pushed by ice1000
May 30, 2024 22:05 5m 20s main
main
May 30, 2024 22:05 5m 20s
misc: fix startup Build #110: Commit 1acb7c1 pushed by ice1000
May 27, 2024 23:26 1m 57s main
main
May 27, 2024 23:26 1m 57s
misc: fix deprecations Build #109: Commit 7e2a3e9 pushed by ice1000
May 27, 2024 23:19 1m 59s main
main
May 27, 2024 23:19 1m 59s
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
deps: upgrade Build #107: Commit c41be65 pushed by ice1000
September 27, 2023 20:28 8m 30s main
main
September 27, 2023 20:28 8m 30s