Skip to content

Actions: aranya-project/aranya-core

Actions

Correctness checks and linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
correctness.yml
214 workflow runs
214 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close #73: Change enum representation to be orderable Correctness checks and linting #214: Pull request #95 opened by apetkov-so
February 6, 2025 22:39 10m 55s 73-policy-vm-change-enum-representation-to-be-orderable
73-policy-vm-change-enum-representation-to-be-orderable
February 6, 2025 22:39 10m 55s
#38: Add VM benchmarking Correctness checks and linting #213: Pull request #42 synchronize by apetkov-so
February 5, 2025 18:15 10m 12s 38-create-vm-benchmarking-suite
38-create-vm-benchmarking-suite
February 5, 2025 18:15 10m 12s
#15: Publish multiple commands Correctness checks and linting #212: Pull request #16 synchronize by apetkov-so
February 5, 2025 01:06 9m 16s 15-publish-multiple-commands-from-action
15-publish-multiple-commands-from-action
February 5, 2025 01:06 9m 16s
#15: Publish multiple commands Correctness checks and linting #211: Pull request #16 synchronize by apetkov-so
February 5, 2025 00:13 9m 51s 15-publish-multiple-commands-from-action
15-publish-multiple-commands-from-action
February 5, 2025 00:13 9m 51s
#15: Publish multiple commands Correctness checks and linting #210: Pull request #16 synchronize by apetkov-so
February 4, 2025 22:43 9m 26s 15-publish-multiple-commands-from-action
15-publish-multiple-commands-from-action
February 4, 2025 22:43 9m 26s
crypto: remove ciphersuite ID Correctness checks and linting #209: Pull request #93 synchronize by jdygert-spok
February 4, 2025 21:49 10m 13s remove-cs-id
remove-cs-id
February 4, 2025 21:49 10m 13s
crypto: remove ciphersuite ID Correctness checks and linting #208: Pull request #93 synchronize by jdygert-spok
February 4, 2025 19:52 13m 30s remove-cs-id
remove-cs-id
February 4, 2025 19:52 13m 30s
crypto: remove ciphersuite ID Correctness checks and linting #207: Pull request #93 opened by jdygert-spok
February 4, 2025 19:45 6m 51s remove-cs-id
remove-cs-id
February 4, 2025 19:45 6m 51s
crypto: set ciphersuite IDs to fixed random values Correctness checks and linting #206: Pull request #92 opened by jdygert-spok
February 4, 2025 19:39 10m 47s set-cs-ids
set-cs-ids
February 4, 2025 19:39 10m 47s
Implement Block Expressions (#91) Correctness checks and linting #205: Commit 599d806 pushed by jdygert-spok
February 4, 2025 18:38 9m 29s main
main
February 4, 2025 18:38 9m 29s
Implement Block Expressions Correctness checks and linting #204: Pull request #91 synchronize by chip-so
February 3, 2025 23:38 14m 31s 90-block-expressions-redux
90-block-expressions-redux
February 3, 2025 23:38 14m 31s
Implement Block Expressions Correctness checks and linting #203: Pull request #91 opened by chip-so
February 3, 2025 23:35 6m 48s 90-block-expressions-redux
90-block-expressions-redux
February 3, 2025 23:35 6m 48s
#38: Add VM benchmarking Correctness checks and linting #202: Pull request #42 synchronize by apetkov-so
February 3, 2025 20:35 9m 52s 38-create-vm-benchmarking-suite
38-create-vm-benchmarking-suite
February 3, 2025 20:35 9m 52s
#15: Publish multiple commands Correctness checks and linting #201: Pull request #16 synchronize by apetkov-so
January 30, 2025 21:49 10m 46s 15-publish-multiple-commands-from-action
15-publish-multiple-commands-from-action
January 30, 2025 21:49 10m 46s
#15: Publish multiple commands Correctness checks and linting #200: Pull request #16 synchronize by apetkov-so
January 30, 2025 18:49 10m 0s 15-publish-multiple-commands-from-action
15-publish-multiple-commands-from-action
January 30, 2025 18:49 10m 0s
#15: Publish multiple commands Correctness checks and linting #199: Pull request #16 synchronize by apetkov-so
January 30, 2025 18:42 6m 34s 15-publish-multiple-commands-from-action
15-publish-multiple-commands-from-action
January 30, 2025 18:42 6m 34s
#15: Publish multiple commands Correctness checks and linting #198: Pull request #16 synchronize by apetkov-so
January 30, 2025 17:51 10m 8s 15-publish-multiple-commands-from-action
15-publish-multiple-commands-from-action
January 30, 2025 17:51 10m 8s
#38: Add VM benchmarking Correctness checks and linting #197: Pull request #42 synchronize by apetkov-so
January 30, 2025 17:13 10m 28s 38-create-vm-benchmarking-suite
38-create-vm-benchmarking-suite
January 30, 2025 17:13 10m 28s
69: update cache after commit Correctness checks and linting #196: Pull request #75 synchronize by benz-spideroak
January 30, 2025 16:47 10m 43s 69-update_cache_after_commit
69-update_cache_after_commit
January 30, 2025 16:47 10m 43s
69: update cache after commit Correctness checks and linting #195: Pull request #75 synchronize by benz-spideroak
January 30, 2025 15:32 7m 25s 69-update_cache_after_commit
69-update_cache_after_commit
January 30, 2025 15:32 7m 25s
69: update cache after commit Correctness checks and linting #194: Pull request #75 synchronize by benz-spideroak
January 30, 2025 15:32 1m 12s 69-update_cache_after_commit
69-update_cache_after_commit
January 30, 2025 15:32 1m 12s
Migrate Errors to thiserror (#68) Correctness checks and linting #193: Commit c9dfd2b pushed by jdygert-spok
January 29, 2025 21:07 9m 59s main
main
January 29, 2025 21:07 9m 59s
Migrate Errors to thiserror Correctness checks and linting #192: Pull request #68 synchronize by nikki-aranya
January 29, 2025 17:05 10m 0s migrate-thiserror
migrate-thiserror
January 29, 2025 17:05 10m 0s
69: update cache after commit Correctness checks and linting #191: Pull request #75 synchronize by benz-spideroak
January 28, 2025 16:59 10m 53s 69-update_cache_after_commit
69-update_cache_after_commit
January 28, 2025 16:59 10m 53s
Remove limit on session command (#85) Correctness checks and linting #190: Commit 857cc1f pushed by jdygert-spok
January 28, 2025 15:47 10m 20s main
main
January 28, 2025 15:47 10m 20s