Skip to content

Actions: gamma-opt/Gogeta.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #41: by github-pages bot
August 21, 2024 12:15 41s gh-pages
August 21, 2024 12:15 41s
pages build and deployment
pages-build-deployment #40: by Nikita-Belyak
August 21, 2024 12:14 47s gh-pages
August 21, 2024 12:14 47s
Merge pull request #31 from gamma-opt/psplits
Documenter #19: Commit 1dd72dc pushed by Nikita-Belyak
August 21, 2024 12:09 4m 43s v0.3.0
August 21, 2024 12:09 4m 43s
Merge pull request #31 from gamma-opt/psplits
CI #45: Commit 1dd72dc pushed by Nikita-Belyak
August 21, 2024 12:09 5m 53s v0.3.0
August 21, 2024 12:09 5m 53s
TagBot trigger issue
TagBot #9: Issue comment #25 (comment) created by JuliaTagBot
August 21, 2024 12:08 40s
August 21, 2024 12:08 40s
pages build and deployment
pages-build-deployment #39: by github-pages bot
August 21, 2024 11:38 37s gh-pages
August 21, 2024 11:38 37s
ICNNs and partition-split formulation
Documenter #18: Pull request #31 opened by EetuReijonen
August 21, 2024 11:33 4m 34s psplits
August 21, 2024 11:33 4m 34s
ICNNs and partition-split formulation
CI #44: Pull request #31 opened by EetuReijonen
August 21, 2024 11:33 13m 9s psplits
August 21, 2024 11:33 13m 9s
Merge pull request #31 from gamma-opt/psplits
CI #43: Commit 1dd72dc pushed by EetuReijonen
August 21, 2024 11:33 7m 44s main
August 21, 2024 11:33 7m 44s
pages build and deployment
pages-build-deployment #38: by github-pages bot
July 29, 2024 12:05 37s gh-pages
July 29, 2024 12:05 37s
Merge pull request #29 from gamma-opt/icnns
CI #42: Commit 65eb120 pushed by EetuReijonen
July 29, 2024 11:59 7m 19s main
July 29, 2024 11:59 7m 19s
Icnns
CI #41: Pull request #29 synchronize by EetuReijonen
July 29, 2024 11:52 7m 25s icnns
July 29, 2024 11:52 7m 25s
Icnns
Documenter #17: Pull request #29 synchronize by EetuReijonen
July 29, 2024 11:52 4m 34s icnns
July 29, 2024 11:52 4m 34s
Icnns
CI #40: Pull request #29 opened by EetuReijonen
July 29, 2024 11:04 5m 43s icnns
July 29, 2024 11:04 5m 43s
Icnns
Documenter #16: Pull request #29 opened by EetuReijonen
July 29, 2024 11:04 4m 31s icnns
July 29, 2024 11:04 4m 31s
pages build and deployment
pages-build-deployment #37: by github-pages bot
June 18, 2024 15:09 41s gh-pages
June 18, 2024 15:09 41s
Merge pull request #27 from kankeinai/marina
CI #39: Commit 1d8a089 pushed by FabsOliveira
June 18, 2024 15:03 6m 27s main
June 18, 2024 15:03 6m 27s
pages build and deployment
pages-build-deployment #36: by github-pages bot
June 6, 2024 12:21 52s gh-pages
June 6, 2024 12:21 52s
June 6, 2024 12:15 6m 17s
removed print statement from sampling.jl
Documenter #15: Pull request #28 opened by mamorim00
June 6, 2024 07:44 4m 28s fix/remove_print_statement
June 6, 2024 07:44 4m 28s
Marina
CI #36: Pull request #27 reopened by kankeinai
June 4, 2024 21:06 6m 38s kankeinai:marina
June 4, 2024 21:06 6m 38s
Marina
Documenter #14: Pull request #27 reopened by kankeinai
June 4, 2024 21:06 4m 41s kankeinai:marina
June 4, 2024 21:06 4m 41s
pages build and deployment
pages-build-deployment #35: by github-pages bot
April 22, 2024 10:47 40s gh-pages
April 22, 2024 10:47 40s
pages build and deployment
pages-build-deployment #34: by Nikita-Belyak
April 22, 2024 10:46 48s gh-pages
April 22, 2024 10:46 48s