Skip to content

Actions: DanielBrosch/FlagSOS.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
58 workflow run results
58 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #37 from DanielBrosch/compathelper/new_version/202… CI #128: Commit 39caac2 pushed by DanielBrosch
December 13, 2024 08:45 8m 22s main
main
December 13, 2024 08:45 8m 22s
Merge pull request #34 from DanielBrosch:Nauty CI #124: Commit fc94d9b pushed by DanielBrosch
November 7, 2024 15:39 8m 26s main
main
November 7, 2024 15:39 8m 26s
Merge pull request #33 from DanielBrosch/compathelper/new_version/202… CI #121: Commit 8b09cb9 pushed by DanielBrosch
September 19, 2024 08:35 7m 41s main
main
September 19, 2024 08:35 7m 41s
Merge pull request #32 from DanielBrosch/dependabot/github_actions/pe… CI #120: Commit b637e6f pushed by DanielBrosch
September 10, 2024 07:42 7m 33s main
main
September 10, 2024 07:42 7m 33s
Merge pull request #31 from DanielBrosch/compathelper/new_version/202… CI #118: Commit 50c608e pushed by DanielBrosch
August 8, 2024 08:07 7m 47s main
main
August 8, 2024 08:07 7m 47s
Merge branch 'main' of https://github.com/DanielBrosch/FlagSOS.jl CI #117: Commit c5f3a60 pushed by DanielBrosch
June 13, 2024 13:36 7m 46s main
main
June 13, 2024 13:36 7m 46s
Update Project.toml CI #115: Commit 95d03c8 pushed by DanielBrosch
May 14, 2024 09:17 7m 59s main
main
May 14, 2024 09:17 7m 59s
add option to limit to smaller blocks when using Razborov hierarchy CI #114: Commit 4e0c70c pushed by DanielBrosch
May 7, 2024 13:23 8m 2s main
main
May 7, 2024 13:23 8m 2s
Merge branch 'main' of https://github.com/DanielBrosch/FlagSOS.jl CI #113: Commit 69414d4 pushed by DanielBrosch
May 7, 2024 09:16 8m 0s main
main
May 7, 2024 09:16 8m 0s
Merge pull request #30 from DanielBrosch/dependabot/github_actions/ju… CI #112: Commit 159c9d2 pushed by DanielBrosch
May 7, 2024 09:09 8m 14s main
main
May 7, 2024 09:09 8m 14s
update regular repr CI #110: Commit 0360f7a pushed by DanielBrosch
May 3, 2024 13:53 6m 35s main
main
May 3, 2024 13:53 6m 35s
Merge branch 'main' of https://github.com/DanielBrosch/FlagSOS.jl CI #109: Commit 650530a pushed by DanielBrosch
May 3, 2024 08:55 8m 0s main
main
May 3, 2024 08:55 8m 0s
Merge pull request #29 from DanielBrosch/compathelper/new_version/202… CI #108: Commit d06a8c4 pushed by DanielBrosch
April 29, 2024 07:30 8m 28s main
main
April 29, 2024 07:30 8m 28s
new regular representation CI #107: Commit 575f38e pushed by svenpolak
April 24, 2024 09:24 8m 33s main
main
April 24, 2024 09:24 8m 33s
Update CI.yml CI #106: Commit 990c66a pushed by DanielBrosch
April 19, 2024 10:41 8m 58s main
main
April 19, 2024 10:41 8m 58s
Merge pull request #28 from DanielBrosch/compathelper/new_version/202… CI #105: Commit 2336a93 pushed by DanielBrosch
April 19, 2024 10:39 1m 50s main
main
April 19, 2024 10:39 1m 50s
Merge branch 'main' of https://github.com/DanielBrosch/FlagSOS.jl CI #104: Commit 039e636 pushed by DanielBrosch
April 19, 2024 10:35 8m 16s main
main
April 19, 2024 10:35 8m 16s
round to bigints CI #103: Commit 333d0b2 pushed by DanielBrosch
April 16, 2024 12:22 6m 31s main
main
April 16, 2024 12:22 6m 31s
smaller hierarchy for trees CI #102: Commit f787610 pushed by DanielBrosch
April 16, 2024 09:06 8m 31s main
main
April 16, 2024 09:06 8m 31s
Merge branch 'main' of https://github.com/DanielBrosch/FlagSOS.jl CI #101: Commit 47d0072 pushed by DanielBrosch
April 12, 2024 11:35 8m 19s main
main
April 12, 2024 11:35 8m 19s
optional output CI #100: Commit 832f520 pushed by DanielBrosch
April 11, 2024 09:23 6m 16s main
main
April 11, 2024 09:23 6m 16s
output during verification CI #99: Commit 3340c20 pushed by DanielBrosch
April 11, 2024 08:54 8m 21s main
main
April 11, 2024 08:54 8m 21s
Merge branch 'main' of https://github.com/DanielBrosch/FlagSOS.jl CI #98: Commit 3e55dbd pushed by DanielBrosch
April 10, 2024 18:23 26m 1s main
main
April 10, 2024 18:23 26m 1s
Merge pull request #27 from DanielBrosch/dependabot/github_actions/ju… CI #97: Commit a3f943d pushed by DanielBrosch
April 3, 2024 08:09 8m 23s main
main
April 3, 2024 08:09 8m 23s
Merge pull request #26 from DanielBrosch/compathelper/new_version/202… CI #95: Commit 0054c57 pushed by DanielBrosch
March 28, 2024 15:10 8m 34s main
main
March 28, 2024 15:10 8m 34s