Mizar daily Standup Report results from 18 June for Mizar

Standuply

unread,

Jun 18, 2020, 1:16:38 PM6/18/20

to

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

unread,

Jun 18, 2020, 1:18:14 PM6/18/20

to

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

unread,

Jun 18, 2020, 1:45:05 PM6/18/20

to

Sherif

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

No answers

Standuply

unread,

Jun 18, 2020, 1:45:06 PM6/18/20

to

Hong Chang

Standuply

unread,

Jun 18, 2020, 1:45:06 PM6/18/20

to

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

Reply all

Reply to author

Forward