Skip to content

Actions: vavr-io/vavr-match

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
151 workflow runs
151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 4 to 5 (#74)
ci #149: Commit 7d753ce pushed by pivovarit
August 13, 2025 05:17 1m 3s main
August 13, 2025 05:17 1m 3s
July 21, 2025 05:38 1m 12s
Version/0.10.7
ci #145: Pull request #72 opened by pivovarit
July 20, 2025 10:42 47s version/0.10.7
July 20, 2025 10:42 47s
Drop automatic module name (#71)
ci #144: Commit c14f791 pushed by pivovarit
July 20, 2025 10:25 1m 7s main
July 20, 2025 10:25 1m 7s
Drop automatic module name
ci #143: Pull request #71 synchronize by pivovarit
July 20, 2025 10:25 21s drop-automatic-module-name
July 20, 2025 10:25 21s
Drop automatic module name
ci #142: Pull request #71 opened by pivovarit
July 20, 2025 10:24 23s drop-automatic-module-name
July 20, 2025 10:24 23s
Publish to Maven Central synchronously (#70)
ci #141: Commit 495bf94 pushed by pivovarit
July 20, 2025 10:20 1m 6s main
July 20, 2025 10:20 1m 6s
Publish to Maven Central synchronously
ci #140: Pull request #70 opened by pivovarit
July 20, 2025 10:19 28s auto-publish
July 20, 2025 10:19 28s
Attach JavaDocs (#69)
ci #139: Commit 75a7aff pushed by pivovarit
July 20, 2025 10:12 1m 2s main
July 20, 2025 10:12 1m 2s
Attach JavaDocs
ci #138: Pull request #69 opened by pivovarit
July 20, 2025 10:12 22s javadoc
July 20, 2025 10:12 22s
Fix release job (#68)
ci #137: Commit d3bf703 pushed by pivovarit
July 20, 2025 10:08 56s main
July 20, 2025 10:08 56s
Fix release job
ci #136: Pull request #68 opened by pivovarit
July 20, 2025 10:07 28s fix-release-job
July 20, 2025 10:07 28s
Remove parent pom (#67)
ci #135: Commit 6698691 pushed by pivovarit
July 20, 2025 10:04 1m 2s main
July 20, 2025 10:04 1m 2s
Remove parent pom
ci #134: Pull request #67 opened by pivovarit
July 20, 2025 10:04 27s remove-parent
July 20, 2025 10:04 27s
Fix profile name (#66)
ci #133: Commit 5684027 pushed by pivovarit
July 20, 2025 08:50 1m 2s main
July 20, 2025 08:50 1m 2s
Fix profile name
ci #132: Pull request #66 opened by pivovarit
July 20, 2025 08:50 47s fix-profile-name
July 20, 2025 08:50 47s
Fix release profile (#65)
ci #131: Commit 6812419 pushed by pivovarit
July 20, 2025 08:46 46s main
July 20, 2025 08:46 46s
Fix release profile
ci #130: Pull request #65 opened by pivovarit
July 20, 2025 08:45 30s fix-release-profile
July 20, 2025 08:45 30s
Add GitHub Actions release job (#64)
ci #129: Commit 78c7b66 pushed by pivovarit
July 20, 2025 08:40 1m 3s main
July 20, 2025 08:40 1m 3s
Add GitHub Actions release job
ci #128: Pull request #64 opened by pivovarit
July 20, 2025 08:40 44s gh-release-job
July 20, 2025 08:40 44s
July 16, 2025 06:15 1m 8s