2021.07.27

From PKC
Revision as of 04:03, 27 July 2021 by KevinTung (talk | contribs)
Jump to navigation Jump to search
Date 2021-07-27
Person @KevinTung


Context and Goal

  • Found the containerized application of TLA and K-framework.
  • 2021.07.26


To-Do

  • Install and test TLA, K-Framework.
  • Organize Meeting:2021.07.26/Ben,Kevin
  • Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment.
  • Install IFrame which Jared requires and document the requirement in Application:dev.xlp.pub
  • Report progress and mutual review.

Progress

Conclusion