Skip to content

Actions: Pi-Squared-Inc/wasm-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Branch optimization Run Tests #19: Pull request #7 synchronize by Robertorosmaninho
July 31, 2024 16:48 3m 58s branch-optimization
branch-optimization
July 31, 2024 16:48 3m 58s
Branch optimization Run Tests #18: Pull request #7 synchronize by Robertorosmaninho
July 31, 2024 15:41 5m 4s branch-optimization
branch-optimization
July 31, 2024 15:41 5m 4s
Branch optimization Run Tests #17: Pull request #7 synchronize by Robertorosmaninho
July 30, 2024 17:02 4m 19s branch-optimization
branch-optimization
July 30, 2024 17:02 4m 19s
Pass proof hints flags to kompile Run Tests #16: Pull request #8 opened by alexoltean61
July 26, 2024 14:59 10m 4s llvm-hints
llvm-hints
July 26, 2024 14:59 10m 4s
Branch optimization Run Tests #15: Pull request #7 synchronize by Robertorosmaninho
July 25, 2024 22:49 4m 6s branch-optimization
branch-optimization
July 25, 2024 22:49 4m 6s
change <memAddrs> and <mems> cells from Map to List Run Tests #14: Pull request #5 synchronize by Robertorosmaninho
July 17, 2024 17:44 10m 19s new-load
new-load
July 17, 2024 17:44 10m 19s
Replacing ValStack with List Run Tests #13: Pull request #6 opened by Robertorosmaninho
July 10, 2024 20:33 4m 29s ValStack-To-List
ValStack-To-List
July 10, 2024 20:33 4m 29s
change <memAddrs> and <mems> cells from Map to List Run Tests #12: Pull request #5 synchronize by Robertorosmaninho
July 9, 2024 22:36 10m 39s new-load
new-load
July 9, 2024 22:36 10m 39s
change <memAddrs> and <mems> cells from Map to List Run Tests #11: Pull request #5 synchronize by Robertorosmaninho
July 9, 2024 22:32 3m 15s new-load
new-load
July 9, 2024 22:32 3m 15s
change <memAddrs> and <mems> cells from Map to List Run Tests #10: Pull request #5 synchronize by Robertorosmaninho
July 9, 2024 21:20 29m 49s new-load
new-load
July 9, 2024 21:20 29m 49s
change <memAddrs> and <mems> cells from Map to List Run Tests #9: Pull request #5 opened by Robertorosmaninho
July 9, 2024 18:30 10m 51s new-load
new-load
July 9, 2024 18:30 10m 51s
add master-update branch trigger (#4) Run Tests #8: Commit efc8363 pushed by dwightguth
July 9, 2024 17:08 12m 13s master-update
master-update
July 9, 2024 17:08 12m 13s
add master-update branch trigger Run Tests #7: Pull request #4 opened by dwightguth
July 9, 2024 16:51 15m 38s push
push
July 9, 2024 16:51 15m 38s
Update Master Run Tests #6: Pull request #3 opened by Robertorosmaninho
July 9, 2024 15:24 11m 37s master-update
master-update
July 9, 2024 15:24 11m 37s
use List instead of Map for <locals> cell Run Tests #5: Pull request #2 synchronize by dwightguth
June 20, 2024 16:05 13m 1s locals
locals
June 20, 2024 16:05 13m 1s
use List instead of Map for <locals> cell Run Tests #4: Pull request #2 opened by dwightguth
June 18, 2024 18:42 12m 50s locals
locals
June 18, 2024 18:42 12m 50s
Update CI for PI2 fork Run Tests #3: Pull request #1 synchronize by dwightguth
June 18, 2024 18:11 15m 34s ci
ci
June 18, 2024 18:11 15m 34s
Update CI for PI2 fork Run Tests #2: Pull request #1 synchronize by dwightguth
June 18, 2024 18:04 18s ci
ci
June 18, 2024 18:04 18s
Update CI for PI2 fork Run Tests #1: Pull request #1 opened by dwightguth
June 18, 2024 17:57 27s ci
ci
June 18, 2024 17:57 27s