Diffusion afp-devel c27ff156ee88

fix(scala): Updated code for 2.13
c27ff156ee88
Actions

Tags

None

Subscribers

None

Description

fix(scala): Updated code for 2.13

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPb4690943adb9: Updated comment

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPc27ff156ee88: fix(scala): Updated code for 2.13.Jan 19 2021, 4:12 PM

Changes (3)

Path

Size

admin/

jenkins/

ci_build_all.scala

ci_build_testboard.scala

tools/

afp_check_roots.scala

rAFPc27ff156ee88

admin/jenkins/ci_build_all.scala

Loading...

admin/jenkins/ci_build_testboard.scala

Loading...

tools/afp_check_roots.scala

Loading...