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

[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
motoko-san: Generate fields Update nix hashes #105: Commit 6215215 pushed by int-index
June 20, 2024 15:27 13s motoko-san/gen-fields
motoko-san/gen-fields
June 20, 2024 15:27 13s
Comment artifact link Comment artifact link #124: completed by GoPavel
June 17, 2024 22:33 2s
June 17, 2024 22:33 2s
[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
[motoko-san] bugfix: add parenthesis around quantifiers Update nix hashes #104: Commit 30be15c pushed by GoPavel
June 17, 2024 22:26 11s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 17, 2024 22:26 11s
Comment artifact link Comment artifact link #123: completed by GoPavel
June 17, 2024 15:27 3s
June 17, 2024 15:27 3s
[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
[motoko-san] add ToDO example (on tuples) Update nix hashes #103: Commit ab8940b pushed by GoPavel
June 17, 2024 14:58 13s motoko-san/todo-tuple-example
motoko-san/todo-tuple-example
June 17, 2024 14:58 13s
Comment artifact link Comment artifact link #122: completed by DK318
June 17, 2024 13:30 2s
June 17, 2024 13:30 2s
Comment artifact link Comment artifact link #121: completed by DK318
June 17, 2024 13:30 2s
June 17, 2024 13:30 2s
Comment artifact link Comment artifact link #120: completed by DK318
June 17, 2024 13:15 1s
June 17, 2024 13:15 1s
Comment artifact link Comment artifact link #119: completed by DK318
June 17, 2024 13:09 2s
June 17, 2024 13:09 2s
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
Merge pull request #27 from serokell/motoko-san/support-text-type release #33: Commit eb81c2b pushed by DK318
June 17, 2024 13:01 4m 28s master
master
June 17, 2024 13:01 4m 28s
[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
motoko-san: add text support Update nix hashes #102: Commit 6694c85 pushed by DK318
June 17, 2024 13:00 11s motoko-san/support-text-type
motoko-san/support-text-type
June 17, 2024 13:00 11s
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
Merge pull request #29 from serokell/motoko-san/while-loop-invariants… release #32: Commit 769eefd pushed by DK318
June 17, 2024 12:40 4m 0s master
master
June 17, 2024 12:40 4m 0s
[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
motoko-san: fix locations for while loop invariants Update nix hashes #101: Commit 4c1d28a pushed by DK318
June 17, 2024 12:40 11s motoko-san/while-loop-invariants-locations-fix
motoko-san/while-loop-invariants-locations-fix
June 17, 2024 12:40 11s
Comment artifact link Comment artifact link #118: completed by int-index
June 16, 2024 14:50 2s
June 16, 2024 14:50 2s
[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: Generate fields Update nix hashes #100: Commit d23d25b pushed by int-index
June 16, 2024 14:18 10s motoko-san/gen-fields
motoko-san/gen-fields
June 16, 2024 14:18 10s
Comment artifact link Comment artifact link #117: completed by int-index
June 16, 2024 12:55 2s
June 16, 2024 12:55 2s
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