Skip to content

Actions: serokell/motoko

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test fixup release #45: Commit e910271 pushed by GoPavel
July 16, 2024 12:14 8m 26s master
master
July 16, 2024 12:14 8m 26s
test fixup release #44: Commit aa05890 pushed by GoPavel
July 15, 2024 14:58 7m 45s master
master
July 15, 2024 14:58 7m 45s
motoko-san: fixup option test after rebase release #43: Commit 8271983 pushed by GoPavel
July 15, 2024 13:54 8m 4s master
master
July 15, 2024 13:54 8m 4s
motoko-san: final test fixup release #42: Commit 20a371b pushed by GoPavel
July 15, 2024 12:45 11m 59s master
master
July 15, 2024 12:45 11m 59s
motoko-san: add locations of pre/post conditions to the source mapper release #41: Commit 7f5bb81 pushed by DK318
July 2, 2024 13:03 4m 3s master
master
July 2, 2024 13:03 4m 3s
[motoko-san] rename field in todo_record.mo showcase release #40: Commit ef6dc3e pushed by GoPavel
July 1, 2024 00:35 4m 16s master
master
July 1, 2024 00:35 4m 16s
[motoko-san] upd README release #39: Commit 1b68d0d pushed by GoPavel
June 30, 2024 15:27 3m 43s master
master
June 30, 2024 15:27 3m 43s
motoko-san: revert var:return syntax release #38: Commit af6e934 pushed by DK318
June 27, 2024 17:02 3m 56s master
master
June 27, 2024 17:02 3m 56s
motoko-san: support immutable records release #37: Commit 17692ec pushed by DK318
June 26, 2024 17:25 4m 41s master
master
June 26, 2024 17:25 4m 41s
[motoko-san] todo-example: use optional & variants & break release #36: Commit 793b832 pushed by GoPavel
June 24, 2024 16:51 4m 50s master
master
June 24, 2024 16:51 4m 50s
motoko-san: pass the correct context in dec_field' release #35: Commit 7f656cb pushed by DK318
June 24, 2024 15:29 4m 6s master
master
June 24, 2024 15:29 4m 6s
motoko-san: Generate fields release #34: Commit 2b874b2 pushed by int-index
June 20, 2024 15:39 5m 59s master
master
June 20, 2024 15:39 5m 59s
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
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
motoko-san: ADT encoding for tuples release #31: Commit 34a6244 pushed by int-index
June 16, 2024 12:26 4m 2s master
master
June 16, 2024 12:26 4m 2s
Merge pull request #18 from serokell/motoko-san/label-break-continue release #30: Commit 076885a pushed by DK318
June 10, 2024 17:01 5m 1s master
master
June 10, 2024 17:01 5m 1s
motoko-san: mock the Array module release #29: Commit 884b34c pushed by int-index
June 6, 2024 17:26 4m 0s master
master
June 6, 2024 17:26 4m 0s
motoko-san: mock the Array module release #28: Commit 6aabf35 pushed by int-index
June 6, 2024 16:16 4m 43s master
master
June 6, 2024 16:16 4m 43s
motoko-san: bugfix: user postcond. should be after perms + testfix release #27: Commit df06b31 pushed by GoPavel
June 6, 2024 13:21 4m 15s master
master
June 6, 2024 13:21 4m 15s
motoko-san: Stop using (==) in trans.ml and prep.ml release #26: Commit b44f4bd pushed by int-index
June 5, 2024 10:44 12m 34s master
master
June 5, 2024 10:44 12m 34s
Merge pull request #25 from serokell/motoko-san/support-forall-and-ex… release #25: Commit b559aaf pushed by DK318
June 4, 2024 18:38 4m 17s master
master
June 4, 2024 18:38 4m 17s
Only disable normalization in --viper mode release #24: Commit ea6bbe1 pushed by int-index
June 1, 2024 13:08 4m 27s master
master
June 1, 2024 13:08 4m 27s
motoko-san: Fix a hang in reverse.mo release #23: Commit 00a66dc pushed by int-index
May 30, 2024 19:51 4m 27s master
master
May 30, 2024 19:51 4m 27s
Merge pull request #20 from serokell/motoko-san/num-lits-and-wildcard… release #22: Commit 8c01bfd pushed by DK318
May 30, 2024 15:56 4m 32s master
master
May 30, 2024 15:56 4m 32s
motoko-san: Update README.md release #21: Commit 150c958 pushed by int-index
May 30, 2024 10:19 3m 53s master
master
May 30, 2024 10:19 3m 53s