Skip to content

Actions: noinia/hgeometry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Arbitrary PlaneGraphs Get-Tested #144: Pull request #254 synchronize by noinia
November 17, 2024 09:55 9m 29s randomplanegraph
randomplanegraph
November 17, 2024 09:55 9m 29s
deleting the PlaneGraph drawing stuff Get-Tested #143: Commit 4c3b2df pushed by noinia
November 17, 2024 09:55 9m 51s randomplanegraph
randomplanegraph
November 17, 2024 09:55 9m 51s
Generate Arbitrary PlaneGraphs Get-Tested #142: Pull request #254 synchronize by noinia
November 17, 2024 09:24 6m 34s randomplanegraph
randomplanegraph
November 17, 2024 09:24 6m 34s
uncommenting unused code for doctest Get-Tested #141: Commit 9ea6173 pushed by noinia
November 17, 2024 09:24 6m 44s randomplanegraph
randomplanegraph
November 17, 2024 09:24 6m 44s
Generate Arbitrary PlaneGraphs Get-Tested #140: Pull request #254 synchronize by noinia
November 17, 2024 08:53 6m 59s randomplanegraph
randomplanegraph
November 17, 2024 08:53 6m 59s
some cleaning up Get-Tested #139: Commit 5a766ae pushed by noinia
November 17, 2024 08:53 6m 38s randomplanegraph
randomplanegraph
November 17, 2024 08:53 6m 38s
pages build and deployment pages-build-deployment #63: by github-pages bot
November 16, 2024 23:24 1m 15s docs
docs
November 16, 2024 23:24 1m 15s
getting rid of warnings (#255) Get-Tested #138: Commit 59657af pushed by noinia
November 16, 2024 22:50 28m 7s master
master
November 16, 2024 22:50 28m 7s
getting rid of warnings (#255) GH-Pages #645: Commit 59657af pushed by noinia
November 16, 2024 22:50 35m 43s master
master
November 16, 2024 22:50 35m 43s
Generate Arbitrary PlaneGraphs Get-Tested #137: Pull request #254 synchronize by noinia
November 16, 2024 22:36 17m 15s randomplanegraph
randomplanegraph
November 16, 2024 22:36 17m 15s
creating a graph from connected segments Get-Tested #136: Commit 2c2ea34 pushed by noinia
November 16, 2024 22:36 17m 12s randomplanegraph
randomplanegraph
November 16, 2024 22:36 17m 12s
getting rid of warnings Get-Tested #135: Pull request #255 opened by noinia
November 16, 2024 21:17 29m 59s nowarn
nowarn
November 16, 2024 21:17 29m 59s
getting rid of warnings Get-Tested #134: Commit c111865 pushed by noinia
November 16, 2024 21:17 29m 4s nowarn
nowarn
November 16, 2024 21:17 29m 4s
Generate Arbitrary PlaneGraphs Get-Tested #133: Pull request #254 opened by noinia
November 16, 2024 19:26 17m 6s randomplanegraph
randomplanegraph
November 16, 2024 19:26 17m 6s
remdering random plane graphs Get-Tested #132: Commit f60fd1c pushed by noinia
November 16, 2024 19:26 17m 4s randomplanegraph
randomplanegraph
November 16, 2024 19:26 17m 4s
pages build and deployment pages-build-deployment #62: by github-pages bot
October 21, 2024 18:02 1m 38s docs
docs
October 21, 2024 18:02 1m 38s
bumping compiler version and cabal version (#252) Get-Tested #131: Commit 4768911 pushed by noinia
October 21, 2024 17:29 28m 4s master
master
October 21, 2024 17:29 28m 4s
bumping compiler version and cabal version (#252) GH-Pages #644: Commit 4768911 pushed by noinia
October 21, 2024 17:29 35m 31s master
master
October 21, 2024 17:29 35m 31s
bumping compiler version and cabal version to fix haddock issue Get-Tested #130: Pull request #252 opened by noinia
October 21, 2024 16:33 28m 14s cihaddockfix
cihaddockfix
October 21, 2024 16:33 28m 14s
bumping compiler version and cabal version Get-Tested #129: Commit 63a118f pushed by noinia
October 21, 2024 16:33 27m 57s cihaddockfix
cihaddockfix
October 21, 2024 16:33 27m 57s
pages build and deployment pages-build-deployment #61: by github-pages bot
September 16, 2024 21:12 1m 9s docs
docs
September 16, 2024 21:12 1m 9s
color names (#250) Get-Tested #128: Commit 3ee8607 pushed by noinia
September 16, 2024 21:00 9m 53s master
master
September 16, 2024 21:00 9m 53s
color names (#250) GH-Pages #643: Commit 3ee8607 pushed by noinia
September 16, 2024 21:00 14m 41s master
master
September 16, 2024 21:00 14m 41s
color names in ipe Get-Tested #127: Pull request #250 opened by noinia
September 16, 2024 20:50 9m 32s colornames
colornames
September 16, 2024 20:50 9m 32s
pages build and deployment pages-build-deployment #60: by github-pages bot
September 16, 2024 20:50 1m 13s docs
docs
September 16, 2024 20:50 1m 13s