Skip to content

Actions: ProvableHQ/leo

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28433 from ProvableHQ/shadowing
Code Coverage #524: Commit 1e31a90 pushed by d0cd
November 7, 2024 02:54 38m 22s mainnet
November 7, 2024 02:54 38m 22s
Merge pull request #28434 from ProvableHQ/long-ids
Code Coverage #523: Commit 333d3eb pushed by d0cd
November 7, 2024 02:43 39m 32s mainnet
November 7, 2024 02:43 39m 32s
Merge pull request #28438 from ProvableHQ/fix/headers
Code Coverage #522: Commit 0178e67 pushed by d0cd
November 7, 2024 02:39 37m 28s mainnet
November 7, 2024 02:39 37m 28s
Merge pull request #28414 from ProvableHQ/ci/integration-tests-to-cir…
Code Coverage #521: Commit 180bd99 pushed by d0cd
November 3, 2024 20:39 37m 40s mainnet
November 3, 2024 20:39 37m 40s
Merge pull request #28427 from ProvableHQ/dependabot/cargo/mainnet/se…
Code Coverage #520: Commit 6464928 pushed by d0cd
October 29, 2024 17:27 1h 56m 11s mainnet
October 29, 2024 17:27 1h 56m 11s
Merge pull request #28426 from ProvableHQ/dependabot/cargo/mainnet/re…
Code Coverage #519: Commit 5a4e76c pushed by d0cd
October 29, 2024 17:27 1h 53m 44s mainnet
October 29, 2024 17:27 1h 53m 44s
Merge pull request #28423 from ProvableHQ/dependabot/cargo/mainnet/re…
Code Coverage #518: Commit 185faa5 pushed by d0cd
October 26, 2024 22:32 1h 56m 33s mainnet
October 26, 2024 22:32 1h 56m 33s
Merge pull request #28422 from ProvableHQ/docs/fix-links
Code Coverage #517: Commit 5edcfa7 pushed by d0cd
October 24, 2024 18:37 1h 49m 34s mainnet
October 24, 2024 18:37 1h 49m 34s
Merge pull request #28421 from ProvableHQ/toml-output
Code Coverage #516: Commit 1a2e5d9 pushed by d0cd
October 23, 2024 23:51 1h 48m 23s mainnet
October 23, 2024 23:51 1h 48m 23s
Merge pull request #28417 from ProvableHQ/empty-closure
Code Coverage #515: Commit c505dda pushed by d0cd
October 23, 2024 23:42 1h 48m 51s mainnet
October 23, 2024 23:42 1h 48m 51s
Bump thiserror from 1.0.64 to 1.0.65
Code Coverage #514: Commit 0cda2c2 pushed by mikebenfield
October 23, 2024 18:15 2h 0m 6s mainnet
October 23, 2024 18:15 2h 0m 6s
Bump serde from 1.0.211 to 1.0.213
Code Coverage #513: Commit f2d038e pushed by mikebenfield
October 23, 2024 17:47 1h 55m 33s mainnet
October 23, 2024 17:47 1h 55m 33s
Bump anyhow from 1.0.90 to 1.0.91
Code Coverage #512: Commit acfe234 pushed by mikebenfield
October 23, 2024 17:47 1h 55m 23s mainnet
October 23, 2024 17:47 1h 55m 23s
Merge pull request #28413 from ProvableHQ/extra-lines
Code Coverage #511: Commit 114e215 pushed by d0cd
October 23, 2024 01:20 1h 47m 58s mainnet
October 23, 2024 01:20 1h 47m 58s
Bump anyhow from 1.0.89 to 1.0.90
Code Coverage #510: Commit a15db14 pushed by mikebenfield
October 22, 2024 23:19 1h 53m 22s mainnet
October 22, 2024 23:19 1h 53m 22s
Bump serde from 1.0.210 to 1.0.211
Code Coverage #509: Commit 7b44b60 pushed by mikebenfield
October 22, 2024 23:18 1h 57m 35s mainnet
October 22, 2024 23:18 1h 57m 35s
Merge pull request #28412 from ProvableHQ/test-format
Code Coverage #508: Commit 7174084 pushed by d0cd
October 22, 2024 00:16 1h 55m 23s mainnet
October 22, 2024 00:16 1h 55m 23s
Merge pull request #28404 from ProvableHQ/remove-expectations
Code Coverage #507: Commit 64445fb pushed by d0cd
October 20, 2024 21:03 1h 50m 55s mainnet
October 20, 2024 21:03 1h 50m 55s
Merge pull request #28407 from ProvableHQ/args
Code Coverage #506: Commit 2fb29aa pushed by d0cd
October 20, 2024 21:03 1h 51m 43s mainnet
October 20, 2024 21:03 1h 51m 43s
Merge pull request #28392 from ProvableHQ/ifelse
Code Coverage #505: Commit 86783da pushed by d0cd
October 18, 2024 21:09 1h 51m 55s mainnet
October 18, 2024 21:09 1h 51m 55s
Merge pull request #28400 from ProvableHQ/rename-arggroups
Code Coverage #504: Commit 76b8654 pushed by d0cd
October 17, 2024 00:13 1h 40m 47s mainnet
October 17, 2024 00:13 1h 40m 47s
Merge pull request #28398 from ProvableHQ/only-testnet
Code Coverage #503: Commit 00fcc07 pushed by d0cd
October 16, 2024 00:12 1h 41m 14s mainnet
October 16, 2024 00:12 1h 41m 14s
Merge pull request #28396 from ProvableHQ/help-message
Code Coverage #502: Commit 3d21dd5 pushed by d0cd
October 15, 2024 20:32 1h 42m 16s mainnet
October 15, 2024 20:32 1h 42m 16s
Merge pull request #28397 from ProvableHQ/lto-off
Code Coverage #501: Commit 75a0277 pushed by d0cd
October 15, 2024 17:09 1h 38m 37s mainnet
October 15, 2024 17:09 1h 38m 37s
Clean up dependencies.
Code Coverage #500: Commit a55dfe2 pushed by mikebenfield
October 10, 2024 19:56 1h 42m 27s mainnet
October 10, 2024 19:56 1h 42m 27s