Skip to content

Actions: aya-prover/intellij-aya

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: upgrade to latest gk parser util Build #140: Commit ef9a248 pushed by ice1000
January 17, 2025 21:46 5m 13s main
main
January 17, 2025 21:46 5m 13s
lsp: properly create DiskLibraryOwner Build #139: Commit b44af0e pushed by ice1000
December 25, 2024 22:23 4m 19s main
main
December 25, 2024 22:23 4m 19s
aya: move TreeBuilder to intellij-aya Build #138: Commit 208debb pushed by ice1000
December 25, 2024 22:04 5m 15s main
main
December 25, 2024 22:04 5m 15s
proofsearch: fix #33 Build #137: Commit b7748b4 pushed by ice1000
December 25, 2024 21:43 2m 52s main
main
December 25, 2024 21:43 2m 52s
build: integrate GkPatcher into intellij-aya Build #136: Commit 3eb79c9 pushed by ice1000
December 25, 2024 21:41 3m 5s main
main
December 25, 2024 21:41 3m 5s
build: java 22 with latest Aya (CI should fail) Build #135: Commit 3a87053 pushed by ice1000
December 18, 2024 03:16 1m 55s main
main
December 18, 2024 03:16 1m 55s
build: fix dependency version number Build #134: Commit 7e1a745 pushed by ice1000
December 17, 2024 23:56 4m 39s main
main
December 17, 2024 23:56 4m 39s
build: improve code Build #133: Commit 83230d2 pushed by ice1000
December 17, 2024 23:40 45s main
main
December 17, 2024 23:40 45s
build: upgrade intellij plugin Build #132: Commit 275f5b9 pushed by ice1000
December 17, 2024 23:19 44s main
main
December 17, 2024 23:19 44s
aya: upgrade with match elim syntax Build #131: Commit c42ab2b pushed by ice1000
December 12, 2024 04:37 2m 23s main
main
December 12, 2024 04:37 2m 23s
compile: fix Build #130: Commit b576883 pushed by ice1000
December 9, 2024 17:58 5m 16s main
main
December 9, 2024 17:58 5m 16s
ci: enable test Build #129: Commit da33822 pushed by ice1000
November 27, 2024 23:33 2m 16s main
main
November 27, 2024 23:33 2m 16s
ci: use ij latest gradle platform plugin Build #128: Commit f197722 pushed by ice1000
November 27, 2024 23:22 4m 57s main
main
November 27, 2024 23:22 4m 57s
aya: use updated Aya Build #127: Commit fb933ac pushed by ice1000
November 27, 2024 23:20 1m 8s main
main
November 27, 2024 23:20 1m 8s
build: ij-gradle-plugin v2 Build #126: Commit d512d12 pushed by ice1000
November 27, 2024 21:36 1m 12s main
main
November 27, 2024 21:36 1m 12s
build: update Aya and build-util Build #125: Commit 2fb3cc8 pushed by ice1000
November 27, 2024 21:11 2m 49s main
main
November 27, 2024 21:11 2m 49s
ci: do not run tests for now Build #124: Commit d009b47 pushed by ice1000
November 19, 2024 23:39 5m 2s main
main
November 19, 2024 23:39 5m 2s
ci: fix more deprecations Build #123: Commit 563bdc7 pushed by ice1000
November 19, 2024 23:31 3m 37s main
main
November 19, 2024 23:31 3m 37s
ci: do not use latest Build #122: Commit 79f7825 pushed by ice1000
November 19, 2024 23:28 3m 43s main
main
November 19, 2024 23:28 3m 43s
ci: v4 of upload-artifact Build #121: Commit 5c814bb pushed by ice1000
November 19, 2024 23:27 9s main
main
November 19, 2024 23:27 9s
lsp: convince Java Build #120: Commit f04df4f pushed by ice1000
November 19, 2024 23:24 10s main
main
November 19, 2024 23:24 10s
aya: remove DeclCollector Build #119: Commit eecce40 pushed by ice1000
November 19, 2024 23:21 10s main
main
November 19, 2024 23:21 10s
deps: upgrade Build #118: Commit 2b784a4 pushed by ice1000
November 19, 2024 22:50 11s main
main
November 19, 2024 22:50 11s
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