Skip to content

Actions: serokell/motoko

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

motoko-san: array support
build #31: Commit 60de039 pushed by int-index
April 30, 2024 14:43 55m 6s master
April 30, 2024 14:43 55m 6s
[DMS-2] motoko-san: monomorphisation
build #30: Pull request #9 opened by int-index
April 30, 2024 00:52 56m 28s motoko-san/monomorphisation
April 30, 2024 00:52 56m 28s
[DMS-3] [DMS-9] motoko-san: array support
build #29: Pull request #8 synchronize by int-index
April 30, 2024 00:11 57m 10s motoko-san/array2
April 30, 2024 00:11 57m 10s
[DMS-3] [DMS-9] motoko-san: array support
build #28: Pull request #8 opened by int-index
April 29, 2024 23:24 7m 28s motoko-san/array2
April 29, 2024 23:24 7m 28s
[DMS-3,9] Motoko san/arrays
build #27: Pull request #5 synchronize by GoPavel
April 26, 2024 15:32 48m 56s motoko-san/arrays
April 26, 2024 15:32 48m 56s
[DMS-3,9] Motoko san/arrays
build #26: Pull request #5 synchronize by GoPavel
April 26, 2024 13:28 47m 56s motoko-san/arrays
April 26, 2024 13:28 47m 56s
[DMS-3,9] Motoko san/arrays
build #25: Pull request #5 synchronize by GoPavel
April 25, 2024 14:23 12m 30s motoko-san/arrays
April 25, 2024 14:23 12m 30s
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
April 25, 2024 13:17 1h 32m 56s
[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
April 25, 2024 12:10 1h 4m 34s
[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
April 25, 2024 12:00 8m 49s
[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
April 25, 2024 11:54 5m 56s
[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
April 25, 2024 11:44 9m 38s
[DMS-31] motoko-san: enable viper tests
build #19: Pull request #6 synchronize by rvem
April 25, 2024 11:28 6m 12s motoko-san/viper-ci
April 25, 2024 11:28 6m 12s
[DMS-31] motoko-san: enable viper tests
build #18: Pull request #6 synchronize by rvem
April 25, 2024 11:27 16m 57s motoko-san/viper-ci
April 25, 2024 11:27 16m 57s
motoko-san: add basic support for Nat
build #17: Commit 7804c5c pushed by int-index
April 25, 2024 01:44 1h 35m 40s master
April 25, 2024 01:44 1h 35m 40s
[DMS-3,9] Motoko san/arrays
build #16: Pull request #5 synchronize by GoPavel
April 25, 2024 01:13 11m 33s motoko-san/arrays
April 25, 2024 01:13 11m 33s
[DMS-3,9] Motoko san/arrays
build #15: Pull request #5 synchronize by GoPavel
April 25, 2024 00:28 12m 55s motoko-san/arrays
April 25, 2024 00:28 12m 55s
[DMS-34] motoko-san: add basic support for Nat
build #14: Pull request #7 opened by int-index
April 24, 2024 20:55 1h 41m 3s motoko-san/prim-nat
April 24, 2024 20:55 1h 41m 3s
[DMS-31] motoko-san: enable viper tests
build #13: Pull request #6 opened by int-index
April 24, 2024 12:21 1h 1m 51s motoko-san/viper-ci
April 24, 2024 12:21 1h 1m 51s
[DMS-3,9] Motoko san/arrays
build #12: Pull request #5 opened by GoPavel
April 23, 2024 23:40 13m 53s motoko-san/arrays
April 23, 2024 23:40 13m 53s
motoko-san: method calls
build #11: Commit f625ce9 pushed by int-index
April 22, 2024 14:19 1h 1m 16s master
April 22, 2024 14:19 1h 1m 16s
motoko-san: method calls
build #10: Pull request #4 synchronize by int-index
April 21, 2024 19:40 1h 47m 46s motoko-san/method-calls
April 21, 2024 19:40 1h 47m 46s
motoko-san: method calls
build #9: Pull request #4 opened by int-index
April 21, 2024 19:09 1h 37m 41s motoko-san/method-calls
April 21, 2024 19:09 1h 37m 41s
motoko-san: loop invariants
build #8: Commit af3e765 pushed by int-index
April 15, 2024 18:21 1h 31m 6s master
April 15, 2024 18:21 1h 31m 6s
[DMS-22] motoko-san: loop invariants
build #7: Pull request #3 synchronize by int-index
April 15, 2024 17:01 1h 11m 54s motoko-san/loop-invariant
April 15, 2024 17:01 1h 11m 54s