Workflow runs · aya-prover/aya-prover-proto2 · GitHub

This repository has been archived by the owner on Jan 4, 2024. It is now read-only.

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2 workflow runs

2 workflow runs

version: release 0.30 (#1025) nightly #1: Commit 6c5ec7f pushed by ice1000

January 4, 2024 04:03

14s main

main

January 4, 2024 04:03

14s

version: release 0.30 (#1025) test #1: Commit 6c5ec7f pushed by ice1000

January 4, 2024 04:03

2m 20s main

main

January 4, 2024 04:03

2m 20s