Skip to content

Actions: ProvableHQ/leo

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
26 workflow run results
26 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove brew update command from ci
CI #4400: Pull request #2445 opened by collinc97
July 5, 2023 22:09 29m 46s fix/ci-homebrew
July 5, 2023 22:09 29m 46s
[Fix] Fix issues related to flattening.
CI #4394: Pull request #2439 opened by d0cd
July 1, 2023 03:39 29m 39s fix/unit-exprs
July 1, 2023 03:39 29m 39s
impl Mapping::contains, Mapping::remove
CI #4391: Pull request #2436 synchronize by collinc97
June 29, 2023 23:31 33m 4s feat/contains-remove
June 29, 2023 23:31 33m 4s
impl Mapping::contains, Mapping::remove
CI #4390: Pull request #2436 synchronize by collinc97
June 29, 2023 23:30 29m 23s feat/contains-remove
June 29, 2023 23:30 29m 23s
impl Mapping::contains, Mapping::remove
CI #4389: Pull request #2436 opened by collinc97
June 29, 2023 21:59 28m 35s feat/contains-remove
June 29, 2023 21:59 28m 35s
[Feature] Support ChaCha::rand_*
CI #4387: Pull request #2433 synchronize by d0cd
June 28, 2023 23:45 30m 55s feat/rand-without-seed
June 28, 2023 23:45 30m 55s
[Feature] Support ChaCha::rand_*
CI #4386: Pull request #2433 opened by d0cd
June 28, 2023 23:39 28m 54s feat/rand-without-seed
June 28, 2023 23:39 28m 54s
[Feature] Support to_x_coordinate for groups.
CI #4385: Pull request #2427 synchronize by d0cd
June 28, 2023 14:09 31m 58s feat/group-to-coordinate
June 28, 2023 14:09 31m 58s