search

programming-formalisms / programming_formalisms_project_summer_2023

The Programming Formalisms project of summer 2023
https://github.com/UPPMAX/programming_formalisms
GNU General Public License v3.0
0 stars 0 forks source link

Get codecov working #3

Closed richelbilderbeek closed 1 year ago

richelbilderbeek commented 1 year ago

Screenshot from 2023-05-31 19-04-38

Doesn't work just yet :-)

richelbilderbeek commented 1 year ago

Screenshot from 2023-05-31 19-07-02

Uhhh, this looks good :-/

richelbilderbeek commented 1 year ago

All it needed was patience :-)

Screenshot from 2023-05-31 19-16-06