Mizar daily Standup Report results from 18 June for Mizar

[Standuply]

Phu Tran Here are the results of Mizar daily Standup Report from 18 June What did you do yesterday? Pair programming for CNI Worked on converting design doc to markdown What do you plan on doing today? Finish design doc to markdown conversion today. Start on demo work. Okay, any obstacles? nope

                                                           

[Standuply]

Cathy Lu

Here are the results of Mizar daily Standup Report from 18 June

What did you do yesterday?

pair programmed with the group. had a meeting with the chinese students. Prepared powerpoint for the presentation today

What do you plan on doing today?

finish up PPT. continue work on the arktos intergration Okay, any obstacles? no

                                                           

[Standuply]

Sherif

Here are the results of Mizar daily Standup Report from 18 June

No answers

                                                           

[Standuply]

Hong Chang

[Standuply]

Eunju Kim

Here are the results of Mizar daily Standup Report from 18 June

What did you do yesterday?

Install Mizar System on - AWS - Local Linux

What do you plan on doing today?

- Install Mizar - Attending Pair Programming (Sherif & Cathy) Okay, any obstacles? There were errors while installing Mizar. I followed the following instructions at: https://mizar.readthedocs.io/en/latest/user/getting_started/ Errors were: Reading package lists... W: Failed to fetch http://archive.ubuntu.com/ubuntu/dists/focal/InRelease Temporary failure resolving 'archive.ubuntu.com' W: Failed to fetch http://archive.ubuntu.com/ubuntu/dists/focal-updates/InRelease Temporary failure resolving 'archive.ubuntu.com' W: Failed to fetch http://archive.ubuntu.com/ubuntu/dists/focal-backports/InRelease Temporary failure resolving 'archive.ubuntu.com' W: Failed to fetch http://security.ubuntu.com/ubuntu/dists/focal-security/InRelease Temporary failure resolving 'security.ubuntu.com' W: Some index files failed to download. They have been ignored, or old ones used instead. ERRO[0000] failed to dial gRPC: cannot connect to the Docker daemon. Is 'docker daemon' running on this host?: dial unix /var/run/docker.sock: connect: no such file or directory