Skip to content

Actions: Pi-Squared-Inc/rust-demo-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
366 workflow runs
366 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement final expressions Build And Test #41: Pull request #64 synchronize by virgil-serbanuta
August 27, 2024 12:54 1m 3s return
return
August 27, 2024 12:54 1m 3s
Implement final expressions Build And Test #40: Pull request #64 synchronize by virgil-serbanuta
August 27, 2024 12:26 1m 39s return
return
August 27, 2024 12:26 1m 39s
Implement final expressions Build And Test #39: Pull request #64 opened by virgil-serbanuta
August 27, 2024 12:23 1m 4s return
return
August 27, 2024 12:23 1m 4s
Simplify trait parsing; use method attributes Build And Test #38: Pull request #62 synchronize by virgil-serbanuta
August 27, 2024 06:18 1m 0s trait-init
trait-init
August 27, 2024 06:18 1m 0s
Adjusting the pyk scripts to conform with recent changes Build And Test #37: Pull request #63 synchronize by ACassimiro
August 26, 2024 21:02 59s adjusting-pyk-scripts
adjusting-pyk-scripts
August 26, 2024 21:02 59s
Adjusting the pyk scripts to conform with recent changes Build And Test #36: Pull request #63 synchronize by ACassimiro
August 26, 2024 21:00 59s adjusting-pyk-scripts
adjusting-pyk-scripts
August 26, 2024 21:00 59s
Adjusting the pyk scripts to conform with recent changes Build And Test #35: Pull request #63 opened by ACassimiro
August 26, 2024 20:59 59s adjusting-pyk-scripts
adjusting-pyk-scripts
August 26, 2024 20:59 59s
Simplify trait parsing; use method attributes Build And Test #34: Pull request #62 opened by virgil-serbanuta
August 26, 2024 20:57 1m 2s trait-init
trait-init
August 26, 2024 20:57 1m 2s
Make the Rust config more modular Build And Test #33: Pull request #61 opened by virgil-serbanuta
August 26, 2024 17:38 1m 46s execution-tests
execution-tests
August 26, 2024 17:38 1m 46s
Execution tests framework Build And Test #32: Pull request #8 synchronize by virgil-serbanuta
August 23, 2024 21:10 59s execution-tests
execution-tests
August 23, 2024 21:10 59s
Execution tests framework Build And Test #31: Pull request #8 synchronize by virgil-serbanuta
August 23, 2024 21:00 1m 3s execution-tests
execution-tests
August 23, 2024 21:00 1m 3s
Execution tests framework Build And Test #30: Pull request #8 synchronize by virgil-serbanuta
August 23, 2024 20:51 1m 2s execution-tests
execution-tests
August 23, 2024 20:51 1m 2s
Prepare for building multiple semantics targets Build And Test #29: Pull request #11 opened by virgil-serbanuta
August 23, 2024 18:18 49s prepare-targets
prepare-targets
August 23, 2024 18:18 49s
Pyk scripts Build And Test #28: Pull request #10 synchronize by ACassimiro
August 23, 2024 17:43 1m 4s pyk-scripts
pyk-scripts
August 23, 2024 17:43 1m 4s
Pyk scripts Build And Test #27: Pull request #10 synchronize by ACassimiro
August 23, 2024 17:43 38s pyk-scripts
pyk-scripts
August 23, 2024 17:43 38s
Pyk scripts Build And Test #26: Pull request #10 synchronize by ACassimiro
August 23, 2024 14:19 49s pyk-scripts
pyk-scripts
August 23, 2024 14:19 49s
Rename execution to preprocessing Build And Test #25: Pull request #9 synchronize by virgil-serbanuta
August 23, 2024 14:15 50s fix-preprocessing
fix-preprocessing
August 23, 2024 14:15 50s
Pyk scripts Build And Test #24: Pull request #10 synchronize by ACassimiro
August 23, 2024 02:33 48s pyk-scripts
pyk-scripts
August 23, 2024 02:33 48s
Pyk scripts Build And Test #23: Pull request #10 synchronize by ACassimiro
August 23, 2024 02:29 1m 31s pyk-scripts
pyk-scripts
August 23, 2024 02:29 1m 31s
Pyk scripts Build And Test #22: Pull request #10 opened by ACassimiro
August 23, 2024 02:29 16s pyk-scripts
pyk-scripts
August 23, 2024 02:29 16s
Rename execution to preprocessing Build And Test #21: Pull request #9 synchronize by virgil-serbanuta
August 22, 2024 23:04 48s fix-preprocessing
fix-preprocessing
August 22, 2024 23:04 48s
Rename execution to preprocessing Build And Test #20: Pull request #9 opened by virgil-serbanuta
August 22, 2024 22:58 43s fix-preprocessing
fix-preprocessing
August 22, 2024 22:58 43s
Execution tests framework Build And Test #19: Pull request #8 opened by virgil-serbanuta
August 22, 2024 22:47 42s execution-tests
execution-tests
August 22, 2024 22:47 42s
Fix getFunctionReturnType Build And Test #18: Pull request #7 opened by virgil-serbanuta
August 22, 2024 22:35 45s fix-gfrt
fix-gfrt
August 22, 2024 22:35 45s
Refactor and finish implementing trait preprocessing (#4) Build And Test #17: Pull request #6 opened by ACassimiro
August 22, 2024 20:38 2m 11s main
main
August 22, 2024 20:38 2m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-08-22 or the other filters available.