Skip to content

Actions: BrunoLevy/geogram

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,947 workflow runs
1,947 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New SOS.h with SOS() function for easier to read symbolic perturbations Build #542: Commit 5316cb9 pushed by BrunoLevy
October 20, 2023 13:51 18m 58s main
main
October 20, 2023 13:51 18m 58s
pages build and deployment pages-build-deployment #800: by github-pages bot
October 20, 2023 10:44 1m 10s gh-pages
gh-pages
October 20, 2023 10:44 1m 10s
Switched back interval_nt to intervalRN (round to nearest), because Build #541: Commit 3727bee pushed by BrunoLevy
October 20, 2023 10:27 17m 41s main
main
October 20, 2023 10:27 17m 41s
pages build and deployment pages-build-deployment #799: by github-pages bot
October 20, 2023 04:01 1m 5s gh-pages
gh-pages
October 20, 2023 04:01 1m 5s
Nightly Nightly #604: Scheduled
October 20, 2023 00:55 3h 5m 44s main
main
October 20, 2023 00:55 3h 5m 44s
pages build and deployment pages-build-deployment #798: by github-pages bot
October 19, 2023 21:02 1m 21s gh-pages
gh-pages
October 19, 2023 21:02 1m 21s
fixed warnings Build #540: Commit c91415e pushed by BrunoLevy
October 19, 2023 20:45 17m 39s main
main
October 19, 2023 20:45 17m 39s
pages build and deployment pages-build-deployment #797: by github-pages bot
October 19, 2023 20:32 1m 13s gh-pages
gh-pages
October 19, 2023 20:32 1m 13s
factored some code that uses mix() Build #539: Commit f1d3c8c pushed by BrunoLevy
October 19, 2023 20:18 13m 47s main
main
October 19, 2023 20:18 13m 47s
pages build and deployment pages-build-deployment #796: by github-pages bot
October 19, 2023 08:37 1m 13s gh-pages
gh-pages
October 19, 2023 08:37 1m 13s
- CDT_2d.cpp: Additional checks in CDT2d make the test suite take for… Build #538: Commit 1a101a6 pushed by BrunoLevy
October 19, 2023 08:19 18m 32s main
main
October 19, 2023 08:19 18m 32s
pages build and deployment pages-build-deployment #795: by github-pages bot
October 19, 2023 08:14 1m 8s gh-pages
gh-pages
October 19, 2023 08:14 1m 8s
pages build and deployment pages-build-deployment #794: by github-pages bot
October 19, 2023 04:20 1m 9s gh-pages
gh-pages
October 19, 2023 04:20 1m 9s
reactivated a consistency check in debug mode after insterting each Build #537: Commit 1fbde92 pushed by BrunoLevy
October 19, 2023 04:20 3h 54m 39s main
main
October 19, 2023 04:20 3h 54m 39s
Nightly Nightly #603: Scheduled
October 19, 2023 00:55 3h 24m 53s main
main
October 19, 2023 00:55 3h 24m 53s
pages build and deployment pages-build-deployment #793: by github-pages bot
October 18, 2023 18:02 1m 12s gh-pages
gh-pages
October 18, 2023 18:02 1m 12s
CDT2d: deactivated some checks after each insertion in debug mode (de… Build #536: Commit 384359d pushed by BrunoLevy
October 18, 2023 17:44 18m 27s main
main
October 18, 2023 17:44 18m 27s
pages build and deployment pages-build-deployment #792: by github-pages bot
October 18, 2023 17:41 1m 13s gh-pages
gh-pages
October 18, 2023 17:41 1m 13s
pages build and deployment pages-build-deployment #791: by github-pages bot
October 18, 2023 17:40 56s gh-pages
gh-pages
October 18, 2023 17:40 56s
reactivated inexact incircle mode for CDT2d (useful for when there are Build #535: Commit d09b9bd pushed by BrunoLevy
October 18, 2023 17:14 26m 39s main
main
October 18, 2023 17:14 26m 39s
cleanup, now lifted coordinates are computed in incircle() predicate Build #534: Commit 87f209d pushed by BrunoLevy
October 18, 2023 17:06 34m 14s main
main
October 18, 2023 17:06 34m 14s
pages build and deployment pages-build-deployment #790: by github-pages bot
October 18, 2023 03:49 1m 12s gh-pages
gh-pages
October 18, 2023 03:49 1m 12s
Nightly Nightly #602: Scheduled
October 18, 2023 00:56 2h 53m 15s main
main
October 18, 2023 00:56 2h 53m 15s
pages build and deployment pages-build-deployment #789: by github-pages bot
October 17, 2023 04:24 1m 25s gh-pages
gh-pages
October 17, 2023 04:24 1m 25s
Nightly Nightly #601: Scheduled
October 17, 2023 00:56 3h 28m 12s main
main
October 17, 2023 00:56 3h 28m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.