Skip to content

Actions: aya-prover/kala-inspections

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps: upgrade gradle Build #10: Commit 9769488 pushed by ice1000
June 27, 2024 07:16 1s main
main
June 27, 2024 07:16 1s
misc: remove plugin icon Build #9: Commit 4629bf4 pushed by ice1000
May 18, 2024 22:19 1s main
main
May 18, 2024 22:19 1s
inspection: better handling of primitive collections Build #8: Commit 3136f20 pushed by ice1000
May 17, 2024 02:15 3m 55s main
main
May 17, 2024 02:15 3m 55s
misc: vesion bumps Build #7: Commit b8999b4 pushed by ice1000
May 17, 2024 01:55 7m 28s main
main
May 17, 2024 01:55 7m 28s
merge: branch 'HoshinoTented-sameness' Build #6: Commit 5268637 pushed by ice1000
October 30, 2023 13:55 4m 26s main
main
October 30, 2023 13:55 4m 26s
Merge branch 'HoshinoTented-sameness' Build #5: Commit c36b161 pushed by ice1000
October 30, 2023 13:55 4m 31s main
main
October 30, 2023 13:55 4m 31s
ci: remove qodana and kover Build #4: Commit ec3d867 pushed by ice1000
October 30, 2023 13:53 3m 46s main
main
October 30, 2023 13:53 3m 46s
Inspection for Sameness Build #3: Pull request #5 opened by HoshinoTented
October 30, 2023 13:46 15m 22s HoshinoTented:sameness
HoshinoTented:sameness
October 30, 2023 13:46 15m 22s
build: remove kover and qodana Build #2: Commit ab81e91 pushed by ice1000
October 30, 2023 13:42 14m 46s main
main
October 30, 2023 13:42 14m 46s
ci: setup Build #1: Commit b42d6a6 pushed by ice1000
October 30, 2023 13:36 18m 42s main
main
October 30, 2023 13:36 18m 42s