Skip to content

Actions: savonet/metrics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Option to update. Build #12: Commit 7bcb14d pushed by smimram
August 29, 2023 09:38 4m 44s main
main
August 29, 2023 09:38 4m 44s
Improve tests. Build #11: Commit bcbe229 pushed by smimram
August 29, 2023 09:30 4m 58s main
main
August 29, 2023 09:30 4m 58s
Generate metrics. Build #10: Commit a1b714d pushed by smimram
August 28, 2023 13:02 4m 24s main
main
August 28, 2023 13:02 4m 24s
Progressing. Build #9: Commit ef66ca4 pushed by smimram
August 28, 2023 12:39 5m 50s main
main
August 28, 2023 12:39 5m 50s
Clone locally. Build #8: Commit d4fe73e pushed by smimram
August 28, 2023 10:00 4m 21s main
main
August 28, 2023 10:00 4m 21s
Need yaml. Build #7: Commit cc701b5 pushed by smimram
August 28, 2023 09:50 10m 24s main
main
August 28, 2023 09:50 10m 24s
Switch to setup-ocaml. Build #6: Commit f19517a pushed by smimram
August 28, 2023 09:46 8m 1s main
main
August 28, 2023 09:46 8m 1s
Get started with plot. Build #5: Commit 06ab307 pushed by smimram
August 25, 2023 07:33 37s main
main
August 25, 2023 07:33 37s
Use floats. Build #4: Commit 82e8dce pushed by smimram
August 25, 2023 07:12 28s main
main
August 25, 2023 07:12 28s
Polyline. Build #3: Commit 4cb0695 pushed by smimram
August 25, 2023 07:04 27s main
main
August 25, 2023 07:04 27s
Lower dune requirement. Build #2: Commit 7bd9599 pushed by smimram
August 25, 2023 07:00 34s main
main
August 25, 2023 07:00 34s
Add CI. Build #1: Commit 4659055 pushed by smimram
August 25, 2023 06:59 30s main
main
August 25, 2023 06:59 30s