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

motoko-san: Fix a hang in reverse.mo build #78: Pull request #22 opened by int-index
May 30, 2024 15:59 55m 22s motoko-san/reverse-hang-fix
motoko-san/reverse-hang-fix
May 30, 2024 15:59 55m 22s
Merge pull request #20 from serokell/motoko-san/num-lits-and-wildcard… build #77: Commit 8c01bfd pushed by DK318
May 30, 2024 15:56 50m 47s master
master
May 30, 2024 15:56 50m 47s
[DMS-40] Support numeric, boolean literals and wildcards in switch patterns build #76: Pull request #20 synchronize by DK318
May 30, 2024 15:56 56m 18s motoko-san/num-lits-and-wildcards-in-switch-patterns
motoko-san/num-lits-and-wildcards-in-switch-patterns
May 30, 2024 15:56 56m 18s
[DMS-12] motoko-san: Let-bound variants build #75: Pull request #21 synchronize by int-index
May 30, 2024 14:18 4m 27s motoko-san/variant-let
motoko-san/variant-let
May 30, 2024 14:18 4m 27s
[DMS-12] motoko-san: Let-bound variants build #74: Pull request #21 opened by int-index
May 30, 2024 10:57 13m 9s motoko-san/variant-let
motoko-san/variant-let
May 30, 2024 10:57 13m 9s
motoko-san: Update README.md build #73: Commit 150c958 pushed by int-index
May 30, 2024 10:19 53m 33s master
master
May 30, 2024 10:19 53m 33s
motoko-san: Update README.md build #72: Pull request #19 synchronize by int-index
May 28, 2024 09:53 1h 1m 33s motoko-san/readme
motoko-san/readme
May 28, 2024 09:53 1h 1m 33s
[DMS-40] Support numeric, boolean literals and wildcards in switch patterns build #71: Pull request #20 synchronize by DK318
May 27, 2024 21:03 56m 24s motoko-san/num-lits-and-wildcards-in-switch-patterns
motoko-san/num-lits-and-wildcards-in-switch-patterns
May 27, 2024 21:03 56m 24s
motoko-san: Update README.md build #70: Pull request #19 synchronize by int-index
May 27, 2024 17:34 56m 22s motoko-san/readme
motoko-san/readme
May 27, 2024 17:34 56m 22s
[DMS-40] Support numeric, boolean literals and wildcards in switch patterns build #69: Pull request #20 opened by DK318
May 27, 2024 17:12 58m 11s motoko-san/num-lits-and-wildcards-in-switch-patterns
motoko-san/num-lits-and-wildcards-in-switch-patterns
May 27, 2024 17:12 58m 11s
motoko-san: Update README.md build #68: Pull request #19 opened by int-index
May 27, 2024 12:17 56m 38s motoko-san/readme
motoko-san/readme
May 27, 2024 12:17 56m 38s
[DMS-39] Support labels, breaks, and continues build #67: Pull request #18 opened by DK318
May 23, 2024 20:40 57m 2s motoko-san/label-break-continue
motoko-san/label-break-continue
May 23, 2024 20:40 57m 2s
motoko-san: propagate viper tests build #66: Commit 09f926d pushed by GoPavel
May 21, 2024 14:14 1h 23m 0s master
master
May 21, 2024 14:14 1h 23m 0s
[Chore] Propagate viper tests build #65: Pull request #17 opened by DK318
May 21, 2024 10:44 1h 12m 24s dk318/propagate-viper-tests
dk318/propagate-viper-tests
May 21, 2024 10:44 1h 12m 24s
motoko-san: support options build #64: Commit 65439db pushed by int-index
May 20, 2024 15:15 9m 20s master
master
May 20, 2024 15:15 9m 20s
[DMS-11] Support options build #63: Pull request #15 synchronize by int-index
May 20, 2024 15:15 7m 53s motoko-san/options
motoko-san/options
May 20, 2024 15:15 7m 53s
motoko-san: use id in AdtI, ConT build #62: Commit 8dbcc6f pushed by int-index
May 20, 2024 15:12 56m 5s master
master
May 20, 2024 15:12 56m 5s
[DMS-12] Variant types build #61: Pull request #16 synchronize by int-index
May 20, 2024 15:12 56m 52s motoko-san/variants
motoko-san/variants
May 20, 2024 15:12 56m 52s
[DMS-11] Support options build #60: Pull request #15 synchronize by int-index
May 18, 2024 18:08 7m 27s motoko-san/options
motoko-san/options
May 18, 2024 18:08 7m 27s
[DMS-12] Variant types build #59: Pull request #16 opened by int-index
May 18, 2024 15:49 56m 38s motoko-san/variants
motoko-san/variants
May 18, 2024 15:49 56m 38s
motoko-san: remove LetD/VarD duplication in dec build #58: Commit 837a1ef pushed by int-index
May 17, 2024 19:27 54m 42s master
master
May 17, 2024 19:27 54m 42s
motoko-san: support tuples build #57: Commit 2efcbfd pushed by int-index
May 16, 2024 07:03 54m 7s master
master
May 16, 2024 07:03 54m 7s
[DMS-10] support tuples build #56: Pull request #13 synchronize by int-index
May 16, 2024 07:03 57m 0s motoko-san/tuples
motoko-san/tuples
May 16, 2024 07:03 57m 0s
[DMS-10] support tuples build #55: Pull request #13 synchronize by int-index
May 15, 2024 22:06 59m 44s motoko-san/tuples
motoko-san/tuples
May 15, 2024 22:06 59m 44s
motoko-san: assertions on $Res build #54: Commit 348ea5c pushed by int-index
May 15, 2024 21:41 59m 56s master
master
May 15, 2024 21:41 59m 56s