Skip to content

Actions: ProvableHQ/leo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,571 workflow runs
1,571 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proof of concept for Leo test. CI #5756: Pull request #28584 synchronize by mikebenfield
April 24, 2025 00:15 In progress leo-test
leo-test
April 24, 2025 00:15 In progress
Proof of concept for Leo test. CI #5755: Pull request #28584 synchronize by mikebenfield
April 23, 2025 21:08 8m 58s leo-test
leo-test
April 23, 2025 21:08 8m 58s
[Bug] Allow negative literals when passed via command line CI #5754: Pull request #28585 synchronize by mohammadfawaz
April 23, 2025 19:37 Action required mohammadfawaz:mohammadfawaz/28409
mohammadfawaz:mohammadfawaz/28409
April 23, 2025 19:37 Action required
[Bug] Allow negative literals when passed via command line CI #5753: Pull request #28585 opened by mohammadfawaz
April 23, 2025 19:23 Action required mohammadfawaz:mohammadfawaz/28409
mohammadfawaz:mohammadfawaz/28409
April 23, 2025 19:23 Action required
Proof of concept for Leo test. CI #5752: Pull request #28584 opened by mikebenfield
April 23, 2025 17:17 44m 59s leo-test
leo-test
April 23, 2025 17:17 44m 59s
Refactor leo-package and remove leo-retriever. CI #5751: Pull request #28577 synchronize by mikebenfield
April 23, 2025 17:15 1h 48m 43s leo-package2
leo-package2
April 23, 2025 17:15 1h 48m 43s
Refactor leo-package and remove leo-retriever. CI #5750: Pull request #28577 synchronize by mikebenfield
April 22, 2025 16:22 1h 47m 45s leo-package2
leo-package2
April 22, 2025 16:22 1h 47m 45s
Execution tests output bytecode. CI #5749: Pull request #28571 synchronize by mikebenfield
April 22, 2025 16:20 1h 48m 21s execution-bytecode
execution-bytecode
April 22, 2025 16:20 1h 48m 21s
Revise SourceMap and related types. CI #5748: Pull request #28566 synchronize by mikebenfield
April 22, 2025 16:19 1h 52m 45s source-map
source-map
April 22, 2025 16:19 1h 52m 45s
pages build and deployment pages-build-deployment #620: by github-pages bot
April 22, 2025 15:48 29s gh-pages
gh-pages
April 22, 2025 15:48 29s
Respond to review - largely comments but also bubble_sort.leo test Mainnet Crates Docs #877: Commit 3fa99a5 pushed by mikebenfield
April 22, 2025 15:48 48s mainnet
mainnet
April 22, 2025 15:48 48s
Respond to review - largely comments but also bubble_sort.leo test Code Coverage #594: Commit 3fa99a5 pushed by mikebenfield
April 22, 2025 15:48 1h 48m 9s mainnet
mainnet
April 22, 2025 15:48 1h 48m 9s
Execution tests output bytecode. CI #5747: Pull request #28571 synchronize by mikebenfield
April 21, 2025 22:25 1h 48m 17s execution-bytecode
execution-bytecode
April 21, 2025 22:25 1h 48m 17s
Write to array and struct members. CI #5746: Pull request #28559 synchronize by mikebenfield
April 21, 2025 21:21 1h 48m 27s write
write
April 21, 2025 21:21 1h 48m 27s
Refactor leo-package and remove leo-retriever. CI #5745: Pull request #28577 synchronize by mikebenfield
April 20, 2025 21:43 1h 47m 0s leo-package2
leo-package2
April 20, 2025 21:43 1h 47m 0s
Write to array and struct members. CI #5744: Pull request #28559 synchronize by mikebenfield
April 20, 2025 21:41 1h 45m 47s write
write
April 20, 2025 21:41 1h 45m 47s
Refactor leo-package and remove leo-retriever. CI #5743: Pull request #28577 synchronize by mikebenfield
April 18, 2025 16:51 1h 49m 3s leo-package2
leo-package2
April 18, 2025 16:51 1h 49m 3s
Refactor leo-package and remove leo-retriever. CI #5742: Pull request #28577 synchronize by mikebenfield
April 18, 2025 05:19 42m 49s leo-package2
leo-package2
April 18, 2025 05:19 42m 49s
Refactor leo-package and remove leo-retriever. CI #5741: Pull request #28577 synchronize by mikebenfield
April 17, 2025 23:32 41m 55s leo-package2
leo-package2
April 17, 2025 23:32 41m 55s
Execution tests output bytecode. CI #5740: Pull request #28571 synchronize by mikebenfield
April 17, 2025 22:49 1h 43m 51s execution-bytecode
execution-bytecode
April 17, 2025 22:49 1h 43m 51s
disable_dce build option CI #5739: Pull request #28578 opened by mikebenfield
April 17, 2025 22:04 1h 38m 55s disable-dce
disable-dce
April 17, 2025 22:04 1h 38m 55s
Refactor leo-package and remove leo-retriever. CI #5738: Pull request #28577 opened by mikebenfield
April 17, 2025 21:28 43m 14s leo-package2
leo-package2
April 17, 2025 21:28 43m 14s
Write to array and struct members. CI #5737: Pull request #28559 synchronize by mikebenfield
April 17, 2025 18:30 1h 47m 20s write
write
April 17, 2025 18:30 1h 47m 20s
pages build and deployment pages-build-deployment #619: by github-pages bot
April 17, 2025 18:30 27s gh-pages
gh-pages
April 17, 2025 18:30 27s
Change to codegen's visit_array. Code Coverage #593: Commit fa8a438 pushed by mikebenfield
April 17, 2025 18:29 1h 35m 48s mainnet
mainnet
April 17, 2025 18:29 1h 35m 48s