Skip to content

Actions: ProvableHQ/leo

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
807 workflow runs
807 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Fix] Minor fixes to Leo CI.
CI #5450: Pull request #28450 synchronize by d0cd
November 19, 2024 16:25 1h 30m 26s fix/ci
November 19, 2024 16:25 1h 30m 26s
[Fix] Minor fixes to Leo CI.
CI #5449: Pull request #28450 synchronize by d0cd
November 19, 2024 16:22 1h 30m 26s fix/ci
November 19, 2024 16:22 1h 30m 26s
[Fix] Minor fixes to Leo CI.
CI #5448: Pull request #28450 synchronize by d0cd
November 19, 2024 16:20 1h 30m 39s fix/ci
November 19, 2024 16:20 1h 30m 39s
[Fix] Minor fixes to Leo CI.
CI #5447: Pull request #28450 synchronize by d0cd
November 19, 2024 16:10 1h 30m 55s fix/ci
November 19, 2024 16:10 1h 30m 55s
[Fix] Minor fixes to Leo CI.
CI #5446: Pull request #28450 synchronize by d0cd
November 19, 2024 15:53 1h 30m 47s fix/ci
November 19, 2024 15:53 1h 30m 47s
[Fix] Minor fixes to Leo CI.
CI #5445: Pull request #28450 opened by d0cd
November 19, 2024 03:36 1h 33m 19s fix/ci
November 19, 2024 03:36 1h 33m 19s
[Feature] Native tests.
CI #5444: Pull request #28449 synchronize by d0cd
November 19, 2024 03:25 1h 31m 39s feat/compile-tests
November 19, 2024 03:25 1h 31m 39s
[Feature] Native tests.
CI #5443: Pull request #28449 opened by d0cd
November 19, 2024 00:54 1h 33m 31s feat/compile-tests
November 19, 2024 00:54 1h 33m 31s
Debugger.
CI #5442: Pull request #28441 synchronize by mikebenfield
November 18, 2024 19:40 1h 31m 32s interpreter
November 18, 2024 19:40 1h 31m 32s
[Update] snarkVM rev to latest staging
CI #5441: Pull request #28447 opened by d0cd
November 18, 2024 19:13 38m 2s update/snarkvm-rev
November 18, 2024 19:13 38m 2s
Debugger.
CI #5440: Pull request #28441 synchronize by mikebenfield
November 15, 2024 18:48 1h 28m 50s interpreter
November 15, 2024 18:48 1h 28m 50s
[Fix] Introduce StaticAnalysis pass and add checks on usage of async code for safety.
CI #5439: Pull request #28443 synchronize by d0cd
November 15, 2024 00:12 1h 35m 23s feat/analyzers
November 15, 2024 00:12 1h 35m 23s
Debugger.
CI #5437: Pull request #28441 synchronize by mikebenfield
November 14, 2024 23:16 1h 30m 45s interpreter
November 14, 2024 23:16 1h 30m 45s
Debugger.
CI #5436: Pull request #28441 synchronize by mikebenfield
November 14, 2024 23:00 1h 30m 40s interpreter
November 14, 2024 23:00 1h 30m 40s
Debugger.
CI #5435: Pull request #28441 synchronize by mikebenfield
November 14, 2024 22:38 1h 29m 57s interpreter
November 14, 2024 22:38 1h 29m 57s
Debugger.
CI #5434: Pull request #28441 synchronize by mikebenfield
November 14, 2024 22:33 58s interpreter
November 14, 2024 22:33 58s
Debugger.
CI #5433: Pull request #28441 synchronize by mikebenfield
November 14, 2024 22:32 1h 32m 53s interpreter
November 14, 2024 22:32 1h 32m 53s
Debugger.
CI #5432: Pull request #28441 synchronize by mikebenfield
November 14, 2024 17:36 1h 29m 57s interpreter
November 14, 2024 17:36 1h 29m 57s
Debugger.
CI #5431: Pull request #28441 synchronize by mikebenfield
November 13, 2024 22:18 1h 31m 14s interpreter
November 13, 2024 22:18 1h 31m 14s
Debugger.
CI #5430: Pull request #28441 synchronize by mikebenfield
November 13, 2024 21:44 1h 30m 8s interpreter
November 13, 2024 21:44 1h 30m 8s
Debugger.
CI #5429: Pull request #28441 synchronize by mikebenfield
November 13, 2024 19:14 1h 32m 30s interpreter
November 13, 2024 19:14 1h 32m 30s
Debugger.
CI #5428: Pull request #28441 opened by mikebenfield
November 12, 2024 16:22 1h 34m 42s interpreter
November 12, 2024 16:22 1h 34m 42s
[Feature] CLI Update Notification.
CI #5427: Pull request #28440 opened by d0cd
November 8, 2024 21:33 1h 34m 3s feat/cli-new-version-notification
November 8, 2024 21:33 1h 34m 3s
[Fix] Update HTTP headers in Leo CLI.
CI #5426: Pull request #28438 opened by d0cd
November 6, 2024 21:58 1h 33m 38s fix/headers
November 6, 2024 21:58 1h 33m 38s