Skip to content
Started 2 yr 7 mo ago
Took 6 min 36 sec on java-docker-slave-001fu5xp71fmj

#4 (May 8, 2022, 10:34:00 PM)

Changes
  1. Bug fixes (commit: 53bfa39) (details / githubweb)
  2. Bug fixes (commit: e9f7928) (details / githubweb)
  3. Build updates (commit: d308f93) (details / githubweb)
  4. Fix minor async access tracker bug (commit: cbe9cc0) (details / githubweb)
  5. Updated Upstream (Pufferfish) (commit: e708d5b) (details / githubweb)

Started by GitHub push by kev626 (3 times)

Docker build metadata:

  • Cloud: docker
  • Container ID: 03f45dcf61a2136eaae0ee23e03f560696ec469d584c236b8fec4a29b2c316af
Revision: f2f0a342c2064a970d453e0d1edc4c764465ed40
Repository: [email protected]:pufferfish-gg/PufferfishPlus.git
  • refs/remotes/origin/ver/1.18-purpur