Skip to content

Actions: scroll-tech/ceno

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
3,242 workflow runs
3,242 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump glob from 0.3.1 to 0.3.2 Tests #3233: Pull request #796 opened by dependabot bot
December 30, 2024 06:58 4m 27s dependabot/cargo/glob-0.3.2
dependabot/cargo/glob-0.3.2
December 30, 2024 06:58 4m 27s
Bump serde from 1.0.216 to 1.0.217 Tests #3232: Pull request #795 opened by dependabot bot
December 30, 2024 06:58 4m 32s dependabot/cargo/serde-1.0.217
dependabot/cargo/serde-1.0.217
December 30, 2024 06:58 4m 32s
Use From::from Tests #3231: Pull request #794 synchronize by matthiasgoergens
December 30, 2024 04:27 3m 42s matthias/z/mock-prover
matthias/z/mock-prover
December 30, 2024 04:27 3m 42s
Use From::from Tests #3230: Pull request #794 synchronize by matthiasgoergens
December 30, 2024 04:06 3m 47s matthias/z/mock-prover
matthias/z/mock-prover
December 30, 2024 04:06 3m 47s
Use From::from Tests #3229: Pull request #794 opened by matthiasgoergens
December 30, 2024 02:58 3m 53s matthias/z/mock-prover
matthias/z/mock-prover
December 30, 2024 02:58 3m 53s
refactor assert_satisfied_full Tests #3228: Pull request #649 synchronize by zemse
December 29, 2024 17:45 3m 42s z/mock-prover
z/mock-prover
December 29, 2024 17:45 3m 42s
Suggestions for 'refactor assert_satisfied_full' Tests #3227: Pull request #793 opened by matthiasgoergens
December 29, 2024 08:38 4m 6s matthias/z/mock-prover
matthias/z/mock-prover
December 29, 2024 08:38 4m 6s
More standard library functions (#784) Tests #3226: Commit 97237a1 pushed by github-merge-queue bot
December 29, 2024 06:50 4m 6s master
master
December 29, 2024 06:50 4m 6s
Tests Tests #3225: Merge group checks requested
December 29, 2024 06:45 4m 28s
December 29, 2024 06:45 4m 28s
refactor assert_satisfied_full Tests #3224: Pull request #649 synchronize by zemse
December 28, 2024 12:34 3m 47s z/mock-prover
z/mock-prover
December 28, 2024 12:34 3m 47s
refactor assert_satisfied_full Tests #3223: Pull request #649 synchronize by zemse
December 28, 2024 12:07 4m 2s z/mock-prover
z/mock-prover
December 28, 2024 12:07 4m 2s
refactor assert_satisfied_full Tests #3222: Pull request #649 synchronize by zemse
December 27, 2024 09:50 3m 35s z/mock-prover
z/mock-prover
December 27, 2024 09:50 3m 35s
refactor to replace v1 by v2 and cleanup suffix Tests #3220: Pull request #791 opened by hero78119
December 27, 2024 03:01 4m 0s hero78119:feat/cleanup
hero78119:feat/cleanup
December 27, 2024 03:01 4m 0s
Feat/structural witin add (#740) Tests #3219: Commit f1de609 pushed by github-merge-queue bot
December 26, 2024 05:43 3m 35s master
master
December 26, 2024 05:43 3m 35s
Tests Tests #3218: Merge group checks requested
December 26, 2024 05:38 3m 39s
December 26, 2024 05:38 3m 39s
Feat/structural witin add Tests #3217: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:34 4m 6s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:34 4m 6s
Feat/structural witin add Tests #3216: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:32 2m 4s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:32 2m 4s
Feat/structural witin add Tests #3215: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:30 2m 7s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:30 2m 7s
Feat/structural witin add Tests #3214: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:28 2m 0s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:28 2m 0s
Feat/structural witin add Tests #3213: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:25 3m 49s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:25 3m 49s
Feat/structural witin add Tests #3212: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:19 3m 44s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:19 3m 44s
refactor: less cloning Tests #3211: Pull request #790 opened by matthiasgoergens
December 26, 2024 04:51 3m 44s matthias/less-cloning-2
matthias/less-cloning-2
December 26, 2024 04:51 3m 44s
Feat/structural witin add Tests #3210: Pull request #740 synchronize by 10to4
December 24, 2024 08:23 4m 0s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 24, 2024 08:23 4m 0s
Feat/structural witin add Tests #3209: Pull request #740 synchronize by 10to4
December 24, 2024 08:02 3m 48s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 24, 2024 08:02 3m 48s
Bump env_logger from 0.11.5 to 0.11.6 (#783) Tests #3208: Commit 4d3948f pushed by github-merge-queue bot
December 24, 2024 03:47 4m 16s master
master
December 24, 2024 03:47 4m 16s