[rdf4j-dev] Auto-publish to site not working?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[rdf4j-dev] Auto-publish to site not working?

From: Håvard Ottestad <hmottestad@xxxxxxxxx>
Date: Sat, 10 Oct 2020 13:15:15 +0200
Delivered-to: rdf4j-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/rdf4j-dev>
List-help: <mailto:rdf4j-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=unsubscribe>

Hi,

I released 3.4.3 yesterday, and today I merged in my release notes.

But the site hasn’t updated yet. Anyone know what’s going on?

Cheers,
Håvard

Follow-Ups:
- Re: [rdf4j-dev] Auto-publish to site not working?
  - From: Håvard Ottestad

Prev by Date: Re: [rdf4j-dev] merge strategy: back to merge commits?
Next by Date: Re: [rdf4j-dev] Auto-publish to site not working?
Previous by thread: [rdf4j-dev] Bug fix
Next by thread: Re: [rdf4j-dev] Auto-publish to site not working?
Index(es):
- Date
- Thread

Breadcrumbs