Started 5 days 10 hr ago
Took 1 hr 6 min on plang7

Success Build #493 (Jul 29, 2020, 11:08:17 AM)

Changes
  1. File renaming (commit: 285408b) (details / githubweb)
  2. Renamed AST files (commit: d83f5b1) (details / githubweb)
  3. Fixed RAM and tests (commit: 3406586) (details / githubweb)
  4. Fix makefile.am (commit: 83d99da) (details / githubweb)
  5. Reformatting (commit: 70095bd) (details / githubweb)

Started by user martin

Revision: 9ac5f8dd18d4e78050e662e5590d47a10b3187dc
  • refs/remotes/origin/master