Search results

update favicons

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 21

#21 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Mar 26, 2025

Include 0.10.6 release information

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 20

#20 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Feb 9, 2025

fix css

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 19

#19 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Jan 18, 2025

Update webpage

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 18

#18 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Jan 18, 2025

New ownership announcement

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 17

#17 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Sep 24, 2024

Temporarily point docs to vavr-io.github.io/vavr-docs/

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 16

#16 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Aug 6, 2024

Remove donate button

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 15

#15 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Aug 6, 2024

Use docs.vavr.io

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 14

#14 In vavr-io/vavr-io.github.io;

· by pivovarit was closed on Aug 6, 2024

Fixed typo on home page.

Status: Closed (abandoned).

vavr-io/vavr-io.github.ionumber 13

#13 In vavr-io/vavr-io.github.io;

· by jbrains was closed on Aug 4, 2024

Minor issue in start date mentioned in the website

Status: Closed (completed).

#12 In vavr-io/vavr-io.github.io;

· by sendhilkumara was closed on Jan 18, 2025

Support direct order of stickers from http://stickerscraft.com

Status: Closed (completed).

#11 In vavr-io/vavr-io.github.io;

· by danieldietrich was closed on Mar 26, 2025

Protocol agnostic Vavr property links

Status: Merged (completed).

vavr-io/vavr-io.github.ionumber 9

#9 In vavr-io/vavr-io.github.io;

· by agarbutt was closed on Apr 16, 2019