Skip to content

Actions: NilFoundation/placeholder

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow run results
206 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prover SetUp
PR Testing #205: Pull request #24 synchronize by akokoshn
September 25, 2024 20:54 8m 14s task-executor
September 25, 2024 20:54 8m 14s
Prover SetUp
PR Testing #204: Pull request #24 synchronize by akokoshn
September 25, 2024 19:27 10m 31s task-executor
September 25, 2024 19:27 10m 31s
Add clang sanitizers
PR Testing #203: Pull request #20 synchronize by AndreyMlashkin
September 25, 2024 17:32 1h 8m 19s add-clang-sanitizers
September 25, 2024 17:32 1h 8m 19s
protect find_msb from passing 0
PR Testing #202: Commit 2d082c1 pushed by AndreyMlashkin
September 25, 2024 16:57 8m 15s master
September 25, 2024 16:57 8m 15s
Json export for aggregated proof
PR Testing #201: Pull request #39 synchronize by Iluvmagick
September 25, 2024 13:57 1h 1m 33s 22-json-export-for-aggregated-proof
September 25, 2024 13:57 1h 1m 33s
Fix find msb undefined behaviour
PR Testing #200: Pull request #45 synchronize by AndreyMlashkin
September 25, 2024 12:03 5m 50s fix_find_msb_undefined_behaviour
September 25, 2024 12:03 5m 50s
Prover SetUp
PR Testing #199: Pull request #24 synchronize by akokoshn
September 25, 2024 11:19 10m 7s task-executor
September 25, 2024 11:19 10m 7s
Fix find msb undefined behaviour
PR Testing #198: Pull request #45 synchronize by vo-nil
September 25, 2024 08:35 59m 9s fix_find_msb_undefined_behaviour
September 25, 2024 08:35 59m 9s
Fix find msb undefined behaviour
PR Testing #197: Pull request #45 synchronize by AndreyMlashkin
September 25, 2024 08:30 4m 43s fix_find_msb_undefined_behaviour
September 25, 2024 08:30 4m 43s
Upgrade clang from 18 to 19
PR Testing #196: Pull request #38 synchronize by AndreyMlashkin
September 25, 2024 07:46 59m 44s cleanup_cmake
September 25, 2024 07:46 59m 44s
Fix find msb undefined behaviour
PR Testing #195: Pull request #45 opened by AndreyMlashkin
September 25, 2024 07:39 51m 30s fix_find_msb_undefined_behaviour
September 25, 2024 07:39 51m 30s
upadate docs to build a single test
PR Testing #194: Commit ff2a92c pushed by AndreyMlashkin
September 25, 2024 06:50 7m 58s master
September 25, 2024 06:50 7m 58s
Add clang sanitizers
PR Testing #193: Pull request #20 synchronize by AndreyMlashkin
September 24, 2024 17:01 3h 50m 12s add-clang-sanitizers
September 24, 2024 17:01 3h 50m 12s
Dont use cm deploy
PR Testing #192: Pull request #43 synchronize by AndreyMlashkin
September 24, 2024 16:16 59m 26s dont_use_cm_deploy
September 24, 2024 16:16 59m 26s
Dont use cm deploy
PR Testing #191: Pull request #43 synchronize by AndreyMlashkin
September 24, 2024 11:41 6m 10s dont_use_cm_deploy
September 24, 2024 11:41 6m 10s
Dont use cm deploy
PR Testing #190: Pull request #43 synchronize by AndreyMlashkin
September 24, 2024 11:37 4m 27s dont_use_cm_deploy
September 24, 2024 11:37 4m 27s
Dont use cm deploy
PR Testing #189: Pull request #43 synchronize by AndreyMlashkin
September 24, 2024 09:18 53m 52s dont_use_cm_deploy
September 24, 2024 09:18 53m 52s
Dont use cm deploy
PR Testing #188: Pull request #43 synchronize by AndreyMlashkin
September 24, 2024 08:11 59m 6s dont_use_cm_deploy
September 24, 2024 08:11 59m 6s
add clang packages
PR Testing #187: Commit dabeb06 pushed by AndreyMlashkin
September 24, 2024 07:26 6m 54s master
September 24, 2024 07:26 6m 54s
add clang packages
PR Testing #186: Pull request #44 opened by AndreyMlashkin
September 24, 2024 07:11 8m 20s add-clang-derivation
September 24, 2024 07:11 8m 20s
Prover SetUp
PR Testing #185: Pull request #24 synchronize by akokoshn
September 23, 2024 19:35 8m 4s task-executor
September 23, 2024 19:35 8m 4s
Prover SetUp
PR Testing #184: Pull request #24 synchronize by akokoshn
September 23, 2024 15:42 9m 7s task-executor
September 23, 2024 15:42 9m 7s
Prover SetUp
PR Testing #183: Pull request #24 synchronize by akokoshn
September 23, 2024 14:07 8m 2s task-executor
September 23, 2024 14:07 8m 2s
Dont use cm deploy
PR Testing #182: Pull request #43 synchronize by AndreyMlashkin
September 23, 2024 11:31 7m 58s dont_use_cm_deploy
September 23, 2024 11:31 7m 58s
Dont use cm deploy
PR Testing #181: Pull request #43 opened by AndreyMlashkin
September 23, 2024 11:29 2m 41s dont_use_cm_deploy
September 23, 2024 11:29 2m 41s