Skip to content

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

Actions

Build And Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test.yaml
37 workflow run results
37 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Preprocess constants Build And Test #16: Pull request #5 synchronize by virgil-serbanuta
August 22, 2024 09:20 50s constants
constants
August 22, 2024 09:20 50s
Some design notes for the Rust-lite semantics Build And Test #15: Pull request #3 synchronize by virgil-serbanuta
August 22, 2024 09:10 49s design
design
August 22, 2024 09:10 49s
Some design notes for the Rust-lite semantics Build And Test #14: Pull request #3 synchronize by virgil-serbanuta
August 22, 2024 09:09 50s design
design
August 22, 2024 09:09 50s
Some design notes for the Rust-lite semantics Build And Test #13: Pull request #3 synchronize by virgil-serbanuta
August 22, 2024 09:04 1m 57s design
design
August 22, 2024 09:04 1m 57s