Skip to content

Actions: DanielBrosch/FlagSOS.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
555 workflow runs
555 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CompatHelper CompatHelper #137: Scheduled
January 17, 2024 00:28 2m 27s main
main
January 17, 2024 00:28 2m 27s
CompatHelper CompatHelper #136: Scheduled
January 16, 2024 00:27 2m 23s main
main
January 16, 2024 00:27 2m 23s
CompatHelper CompatHelper #135: Scheduled
January 15, 2024 00:29 2m 25s main
main
January 15, 2024 00:29 2m 25s
CompatHelper CompatHelper #134: Scheduled
January 14, 2024 00:30 3m 3s main
main
January 14, 2024 00:30 3m 3s
CompatHelper CompatHelper #133: Scheduled
January 13, 2024 00:27 2m 30s main
main
January 13, 2024 00:27 2m 30s
bugfix for small N CI #76: Commit 7756a93 pushed by DanielBrosch
January 12, 2024 12:33 5m 38s main
main
January 12, 2024 12:33 5m 38s
in-between Razborov levels CI #75: Commit 366b8a5 pushed by DanielBrosch
January 12, 2024 10:48 5m 45s main
main
January 12, 2024 10:48 5m 45s
CompatHelper CompatHelper #132: Scheduled
January 12, 2024 00:27 2m 24s main
main
January 12, 2024 00:27 2m 24s
CompatHelper CompatHelper #131: Scheduled
January 11, 2024 00:27 2m 37s main
main
January 11, 2024 00:27 2m 37s
Merge pull request #18 from DanielBrosch/BinomialSquares CI #74: Commit 1f844db pushed by DanielBrosch
January 10, 2024 13:59 5m 10s main
main
January 10, 2024 13:59 5m 10s
Binomial squares CI #73: Pull request #18 opened by DanielBrosch
January 10, 2024 13:59 5m 31s BinomialSquares
BinomialSquares
January 10, 2024 13:59 5m 31s
CompatHelper CompatHelper #130: Scheduled
January 10, 2024 00:27 4m 15s main
main
January 10, 2024 00:27 4m 15s
Merge pull request #17 from DanielBrosch/compathelper/new_version/202… CI #72: Commit ecb3c6f pushed by DanielBrosch
January 9, 2024 17:20 5m 32s main
main
January 9, 2024 17:20 5m 32s
CompatHelper CompatHelper #129: Scheduled
January 9, 2024 00:28 2m 31s main
main
January 9, 2024 00:28 2m 31s
CompatHelper CompatHelper #128: Scheduled
January 8, 2024 00:28 2m 42s main
main
January 8, 2024 00:28 2m 42s
CompatHelper CompatHelper #127: Scheduled
January 7, 2024 00:30 2m 30s main
main
January 7, 2024 00:30 2m 30s
CompatHelper CompatHelper #126: Scheduled
January 6, 2024 00:27 2m 43s main
main
January 6, 2024 00:27 2m 43s
CompatHelper CompatHelper #125: Scheduled
January 5, 2024 00:27 3m 13s main
main
January 5, 2024 00:27 3m 13s
CompatHelper CompatHelper #124: Scheduled
January 4, 2024 00:27 2m 21s main
main
January 4, 2024 00:27 2m 21s
CompatHelper CompatHelper #123: Scheduled
January 3, 2024 00:27 2m 40s main
main
January 3, 2024 00:27 2m 40s
CompatHelper CompatHelper #122: Scheduled
January 2, 2024 00:26 2m 43s main
main
January 2, 2024 00:26 2m 43s
CompatHelper CompatHelper #121: Scheduled
January 1, 2024 00:30 2m 58s main
main
January 1, 2024 00:30 2m 58s
CompatHelper CompatHelper #120: Scheduled
December 31, 2023 00:29 2m 36s main
main
December 31, 2023 00:29 2m 36s
CompatHelper CompatHelper #119: Scheduled
December 30, 2023 00:26 2m 59s main
main
December 30, 2023 00:26 2m 59s
CompatHelper CompatHelper #118: Scheduled
December 29, 2023 00:22 2m 48s main
main
December 29, 2023 00:22 2m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-12-29 or the other filters available.