Skip to content

Actions: serokell/motoko

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
483 workflow runs
483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comment artifact link Comment artifact link #29: completed by GoPavel
April 26, 2024 16:21 2s
April 26, 2024 16:21 2s
[DMS-3,9] Motoko san/arrays build #27: Pull request #5 synchronize by GoPavel
April 26, 2024 15:32 48m 56s motoko-san/arrays
motoko-san/arrays
April 26, 2024 15:32 48m 56s
fixup! motoko-san: add test for arrays + viper lib Update nix hashes #21: Commit 7940973 pushed by GoPavel
April 26, 2024 15:32 20s motoko-san/arrays
motoko-san/arrays
April 26, 2024 15:32 20s
Comment artifact link Comment artifact link #28: completed by GoPavel
April 26, 2024 14:16 2s
April 26, 2024 14:16 2s
[DMS-3,9] Motoko san/arrays build #26: Pull request #5 synchronize by GoPavel
April 26, 2024 13:28 47m 56s motoko-san/arrays
motoko-san/arrays
April 26, 2024 13:28 47m 56s
fixup! motoko-san: add test for arrays + viper lib Update nix hashes #20: Commit dbf0fc1 pushed by GoPavel
April 26, 2024 13:28 18s motoko-san/arrays
motoko-san/arrays
April 26, 2024 13:28 18s
Comment artifact link Comment artifact link #27: completed by rvem
April 25, 2024 14:50 2s
April 25, 2024 14:50 2s
Comment artifact link Comment artifact link #26: completed by GoPavel
April 25, 2024 14:35 2s
April 25, 2024 14:35 2s
[DMS-3,9] Motoko san/arrays build #25: Pull request #5 synchronize by GoPavel
April 25, 2024 14:23 12m 30s motoko-san/arrays
motoko-san/arrays
April 25, 2024 14:23 12m 30s
fixup! motoko-san: add test for arrays + viper lib Update nix hashes #19: Commit 5fb4f45 pushed by GoPavel
April 25, 2024 14:23 14s motoko-san/arrays
motoko-san/arrays
April 25, 2024 14:23 14s
Merge pull request #6 from serokell/motoko-san/viper-ci build #24: Commit dbd2b39 pushed by rvem
April 25, 2024 13:17 1h 32m 56s master
master
April 25, 2024 13:17 1h 32m 56s
Merge pull request #6 from serokell/motoko-san/viper-ci release #6: Commit dbd2b39 pushed by rvem
April 25, 2024 13:17 6m 15s master
master
April 25, 2024 13:17 6m 15s
Comment artifact link Comment artifact link #25: completed by rvem
April 25, 2024 13:14 2s
April 25, 2024 13:14 2s
[DMS-31] motoko-san: enable viper tests build #23: Pull request #6 synchronize by rvem
April 25, 2024 12:10 1h 4m 34s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 12:10 1h 4m 34s
motoko-san: bump z3 solver Update nix hashes #18: Commit db7b3af pushed by rvem
April 25, 2024 12:10 17s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 12:10 17s
Comment artifact link Comment artifact link #24: completed by rvem
April 25, 2024 12:09 2s
April 25, 2024 12:09 2s
[DMS-31] motoko-san: enable viper tests build #22: Pull request #6 synchronize by rvem
April 25, 2024 12:00 8m 49s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 12:00 8m 49s
[DMS-31] Bump z3 solver Update nix hashes #17: Commit c6e79d0 pushed by rvem
April 25, 2024 12:00 15s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 12:00 15s
Comment artifact link Comment artifact link #23: completed by rvem
April 25, 2024 12:00 2s
April 25, 2024 12:00 2s
[DMS-31] motoko-san: enable viper tests build #21: Pull request #6 synchronize by rvem
April 25, 2024 11:54 5m 56s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 11:54 5m 56s
[TEMP] Bump z3 solver Update nix hashes #16: Commit 1c152e4 pushed by rvem
April 25, 2024 11:54 17s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 11:54 17s
Comment artifact link Comment artifact link #22: completed by rvem
April 25, 2024 11:54 2s
April 25, 2024 11:54 2s
Comment artifact link Comment artifact link #21: completed by rvem
April 25, 2024 11:44 3s
April 25, 2024 11:44 3s
[DMS-31] motoko-san: enable viper tests build #20: Pull request #6 synchronize by rvem
April 25, 2024 11:44 9m 38s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 11:44 9m 38s
[TEMP] Display prover logs Update nix hashes #15: Commit 37a27bc pushed by rvem
April 25, 2024 11:44 11s motoko-san/viper-ci
motoko-san/viper-ci
April 25, 2024 11:44 11s
ProTip! You can narrow down the results and go further in time using created:<2024-04-25 or the other filters available.