Skip to content

Actions: serokell/motoko

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[DMS-47] Support text type build #103: Pull request #27 synchronize by DK318
June 11, 2024 20:13 30m 45s motoko-san/support-text-type
motoko-san/support-text-type
June 11, 2024 20:13 30m 45s
[DMS-47] Support text type build #102: Pull request #27 opened by DK318
June 11, 2024 18:22 31m 59s motoko-san/support-text-type
motoko-san/support-text-type
June 11, 2024 18:22 31m 59s
Merge pull request #18 from serokell/motoko-san/label-break-continue build #101: Commit 076885a pushed by DK318
June 10, 2024 17:01 29m 29s master
master
June 10, 2024 17:01 29m 29s
[DMS-39] Support labels, breaks, and continues build #100: Pull request #18 synchronize by DK318
June 10, 2024 16:32 30m 21s motoko-san/label-break-continue
motoko-san/label-break-continue
June 10, 2024 16:32 30m 21s
motoko-san: mock the Array module build #99: Commit 884b34c pushed by int-index
June 6, 2024 17:26 29m 38s master
master
June 6, 2024 17:26 29m 38s
motoko-san: mock the Array module build #98: Commit 6aabf35 pushed by int-index
June 6, 2024 16:16 8m 44s master
master
June 6, 2024 16:16 8m 44s
[DMS-44] motoko-san: mock the Array module build #97: Pull request #24 synchronize by int-index
June 6, 2024 15:35 8m 59s motoko-san/array-module
motoko-san/array-module
June 6, 2024 15:35 8m 59s
[DMS-44] motoko-san: mock the Array module build #96: Pull request #24 synchronize by int-index
June 6, 2024 15:11 10m 55s motoko-san/array-module
motoko-san/array-module
June 6, 2024 15:11 10m 55s
motoko-san: bugfix: user postcond. should be after perms + testfix build #95: Commit df06b31 pushed by GoPavel
June 6, 2024 13:21 28m 36s master
master
June 6, 2024 13:21 28m 36s
[DMS-44] motoko-san: mock the Array module build #94: Pull request #24 synchronize by int-index
June 6, 2024 11:23 8m 34s motoko-san/array-module
motoko-san/array-module
June 6, 2024 11:23 8m 34s
[DMS-51] bugfix: user postcond. should be after perms + testfix build #93: Pull request #26 synchronize by GoPavel
June 5, 2024 18:46 30m 21s gopavel/fix-tuple-test-and-order-of-perms
gopavel/fix-tuple-test-and-order-of-perms
June 5, 2024 18:46 30m 21s
[DMS-51] bugfix: user postcond. should be after perms + testfix build #92: Pull request #26 opened by GoPavel
June 5, 2024 18:43 3m 23s gopavel/fix-tuple-test-and-order-of-perms
gopavel/fix-tuple-test-and-order-of-perms
June 5, 2024 18:43 3m 23s
[DMS-44] motoko-san: mock the Array module build #91: Pull request #24 synchronize by int-index
June 5, 2024 11:22 31m 44s motoko-san/array-module
motoko-san/array-module
June 5, 2024 11:22 31m 44s
motoko-san: Stop using (==) in trans.ml and prep.ml build #90: Commit b44f4bd pushed by int-index
June 5, 2024 10:44 28m 36s master
master
June 5, 2024 10:44 28m 36s
Merge pull request #25 from serokell/motoko-san/support-forall-and-ex… build #89: Commit b559aaf pushed by DK318
June 4, 2024 18:38 30m 6s master
master
June 4, 2024 18:38 30m 6s
[DMS-23] Support forall and exists build #88: Pull request #25 synchronize by DK318
June 4, 2024 18:38 29m 55s motoko-san/support-forall-and-exists
motoko-san/support-forall-and-exists
June 4, 2024 18:38 29m 55s
[DMS-23] Support forall and exists build #87: Pull request #25 synchronize by DK318
June 4, 2024 16:51 28m 53s motoko-san/support-forall-and-exists
motoko-san/support-forall-and-exists
June 4, 2024 16:51 28m 53s
[DMS-44] motoko-san: mock the Array module build #86: Pull request #24 synchronize by int-index
June 4, 2024 15:21 59m 12s motoko-san/array-module
motoko-san/array-module
June 4, 2024 15:21 59m 12s
[DMS-39] Support labels, breaks, and continues build #85: Pull request #18 synchronize by DK318
June 3, 2024 20:07 57m 59s motoko-san/label-break-continue
motoko-san/label-break-continue
June 3, 2024 20:07 57m 59s
[DMS-44] motoko-san: mock the Array module build #84: Pull request #24 opened by int-index
June 2, 2024 19:31 56m 41s motoko-san/array-module
motoko-san/array-module
June 2, 2024 19:31 56m 41s
motoko-san: Stop using (==) in trans.ml and prep.ml build #83: Pull request #23 opened by int-index
June 2, 2024 15:41 55m 43s motoko-san/no-phys-eq
motoko-san/no-phys-eq
June 2, 2024 15:41 55m 43s
Only disable normalization in --viper mode build #82: Commit ea6bbe1 pushed by int-index
June 1, 2024 13:08 53m 23s master
master
June 1, 2024 13:08 53m 23s
[DMS-12] motoko-san: Let-bound variants build #81: Pull request #21 synchronize by int-index
May 30, 2024 19:55 57m 9s motoko-san/variant-let
motoko-san/variant-let
May 30, 2024 19:55 57m 9s
motoko-san: Fix a hang in reverse.mo build #80: Commit 00a66dc pushed by int-index
May 30, 2024 19:51 54m 5s master
master
May 30, 2024 19:51 54m 5s
[DMS-12] motoko-san: Let-bound variants build #79: Pull request #21 synchronize by int-index
May 30, 2024 19:48 57m 21s motoko-san/variant-let
motoko-san/variant-let
May 30, 2024 19:48 57m 21s