Diffusion afp-devel 0802c560b575

feat(ci): remove hard-coded address;
0802c560b575
Actions

Tags

None

Subscribers

None

Description

feat(ci): remove hard-coded address;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP4ea18c203d18: feat(SpecCheck/Show) tune pretty printing for environments

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP0802c560b575: feat(ci): remove hard-coded address;.Oct 1 2021, 11:27 AM

Changes (1)

Path

Size

admin/

jenkins/

ci_build_all.scala

rAFP0802c560b575

admin/jenkins/ci_build_all.scala

Loading...