New explorer branch #92

Open
marcdeb1 wants to merge 5 commits from marcdeb1/new-explorer into master

5 commits

Author SHA1 Message Date
hboisgibault a1349073d5 Various optimizations 2021-01-17 23:15:35 +01:00
hboisgibault 8da5095804 Cleaning up 2021-01-17 22:51:36 +01:00
hboisgibault d20e235a2f Dockerfile entrypoint 2021-01-17 22:51:06 +01:00
hboisgibault 8f16acd9c8 Github actions config 2021-01-17 21:54:44 +01:00
hboisgibault 3bb0fb9b19 New explorer branch 2021-01-17 21:50:21 +01:00