Mizar daily Standup Report results from 18 June for Mizar

2 views
Skip to first unread message

Standuply

unread,
Jun 18, 2020, 1:16:38 PM6/18/20
to
 
 
user icon
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
 
 
user icon
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
 
 
user icon
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
 
 
user icon
Hong Chang

Standuply

unread,
Jun 18, 2020, 1:45:06 PM6/18/20
to
 
 
user icon
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
0 new messages