Skip to content

Actions: serokell/motoko

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[DMS-57] [DMS-58] Support immutable records build #130: Pull request #33 opened by DK318
June 25, 2024 15:15 29m 21s motoko-san/support-immutable-records
motoko-san/support-immutable-records
June 25, 2024 15:15 29m 21s
[motoko-san] todo-example: use optional & variants & break build #129: Commit 793b832 pushed by GoPavel
June 24, 2024 16:51 29m 42s master
master
June 24, 2024 16:51 29m 42s
[DMS-45] add ToDO example (on tuples) build #128: Pull request #30 synchronize by GoPavel
June 24, 2024 16:37 29m 12s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 24, 2024 16:37 29m 12s
motoko-san: pass the correct context in dec_field' build #127: Commit 7f656cb pushed by DK318
June 24, 2024 15:29 30m 0s master
master
June 24, 2024 15:29 30m 0s
[DMS-45] add ToDO example (on tuples) build #126: Pull request #30 synchronize by GoPavel
June 21, 2024 15:31 30m 26s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 21, 2024 15:31 30m 26s
[DMS-45] add ToDO example (on tuples) build #125: Pull request #30 synchronize by GoPavel
June 21, 2024 15:20 29m 3s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 21, 2024 15:20 29m 3s
[DMS-56] Pass the correct context in dec_field' build #124: Pull request #32 opened by DK318
June 21, 2024 14:07 29m 48s motoko-san/bugfix-wrong-context-in-dec-field
motoko-san/bugfix-wrong-context-in-dec-field
June 21, 2024 14:07 29m 48s
[DMS-45] add ToDO example (on tuples) build #123: Pull request #30 synchronize by GoPavel
June 21, 2024 13:41 29m 46s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 21, 2024 13:41 29m 46s
motoko-san: Generate fields build #122: Commit 2b874b2 pushed by int-index
June 20, 2024 15:39 5m 57s master
master
June 20, 2024 15:39 5m 57s
[DMS-52] motoko-san: Generate fields build #121: Pull request #31 synchronize by int-index
June 20, 2024 15:27 28m 19s motoko-san/gen-fields
motoko-san/gen-fields
June 20, 2024 15:27 28m 19s
[DMS-45] add ToDO example (on tuples) build #120: Pull request #30 synchronize by GoPavel
June 17, 2024 22:26 6m 37s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 17, 2024 22:26 6m 37s
[DMS-45] add ToDO example (on tuples) build #119: Pull request #30 synchronize by GoPavel
June 17, 2024 14:58 29m 14s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 17, 2024 14:58 29m 14s
Merge pull request #27 from serokell/motoko-san/support-text-type build #118: Commit eb81c2b pushed by DK318
June 17, 2024 13:01 29m 35s master
master
June 17, 2024 13:01 29m 35s
[DMS-47] Support text type build #117: Pull request #27 synchronize by DK318
June 17, 2024 13:00 29m 40s motoko-san/support-text-type
motoko-san/support-text-type
June 17, 2024 13:00 29m 40s
Merge pull request #29 from serokell/motoko-san/while-loop-invariants… build #116: Commit 769eefd pushed by DK318
June 17, 2024 12:40 35m 16s master
master
June 17, 2024 12:40 35m 16s
[DMS-41] Fix locations for while loop invariants build #115: Pull request #29 synchronize by DK318
June 17, 2024 12:40 29m 23s motoko-san/while-loop-invariants-locations-fix
motoko-san/while-loop-invariants-locations-fix
June 17, 2024 12:40 29m 23s
[DMS-52] motoko-san: Generate fields build #114: Pull request #31 opened by int-index
June 16, 2024 14:19 30m 40s motoko-san/gen-fields
motoko-san/gen-fields
June 16, 2024 14:19 30m 40s
motoko-san: ADT encoding for tuples build #113: Commit 34a6244 pushed by int-index
June 16, 2024 12:26 29m 4s master
master
June 16, 2024 12:26 29m 4s
[DMS-48] motoko-san: ADT encoding for tuples build #112: Pull request #28 synchronize by int-index
June 16, 2024 10:01 29m 9s motoko-san/adt-tuples
motoko-san/adt-tuples
June 16, 2024 10:01 29m 9s
[DMS-48] motoko-san: ADT encoding for tuples build #111: Pull request #28 synchronize by int-index
June 16, 2024 07:39 30m 13s motoko-san/adt-tuples
motoko-san/adt-tuples
June 16, 2024 07:39 30m 13s
[DMS-45] add ToDO example (on tuples) build #110: Pull request #30 synchronize by GoPavel
June 14, 2024 14:25 29m 26s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 14, 2024 14:25 29m 26s
[DMS-45] add ToDO example (on tuples) build #109: Pull request #30 opened by GoPavel
June 14, 2024 14:04 28m 40s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 14, 2024 14:04 28m 40s
[DMS-47] Support text type build #108: Pull request #27 synchronize by DK318
June 13, 2024 19:29 29m 33s motoko-san/support-text-type
motoko-san/support-text-type
June 13, 2024 19:29 29m 33s
[DMS-41] Fix locations for while loop invariants build #107: Pull request #29 opened by DK318
June 13, 2024 19:15 29m 3s motoko-san/while-loop-invariants-locations-fix
motoko-san/while-loop-invariants-locations-fix
June 13, 2024 19:15 29m 3s
[DMS-47] Support text type build #106: Pull request #27 synchronize by DK318
June 12, 2024 16:00 30m 45s motoko-san/support-text-type
motoko-san/support-text-type
June 12, 2024 16:00 30m 45s