proof-search: use records · aya-prover/intellij-aya@a3229cb

Triggered via push January 28, 2025 20:56

ice1000

main

Status Success

Total duration 2m 35s

Artifacts 1

build.yml

on: push

1 warning

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Produced during runtime

Name	Size
intellij-aya-0.0.1-SNAPSHOT.zip	7.7 MB