Skip to content

Actions: JuliaGraphs/GraphProperties.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CompatHelper CompatHelper #2: Scheduled
2m 6s main
main
2m 6s
README.md: include a Hasse diagram of some of the graph families TagBot #16: Issue comment #7 (comment) created by nsajko
1s
1s
pages build and deployment pages-build-deployment #9: by github-pages bot
44s gh-pages
gh-pages
44s
add some integer properties for connectivity of directed graphs (#17) CI #33: Commit c87f8eb pushed by nsajko
2m 1s main
main
2m 1s
add some integer properties for connectivity of directed graphs TagBot #15: Issue comment #17 (comment) created by codecov bot
1s
1s
add some integer properties for connectivity of directed graphs CI #32: Pull request #17 opened by nsajko
1m 57s n
n
1m 57s
pages build and deployment pages-build-deployment #8: by github-pages bot
41s gh-pages
gh-pages
41s
add more undirected graph families: distance-regular (#16) CI #31: Commit 0908e01 pushed by nsajko
1m 51s main
main
1m 51s
add more undirected graph families: distance-regular TagBot #14: Issue comment #16 (comment) created by codecov bot
2s
2s
add more undirected graph families: distance-regular CI #30: Pull request #16 opened by nsajko
1m 55s m
m
1m 55s
pages build and deployment pages-build-deployment #7: by github-pages bot
43s gh-pages
gh-pages
43s
graph families: improve Markdown formatting and wording (#15) CI #29: Commit 7b2dbf8 pushed by nsajko
1m 53s main
main
1m 53s
graph families: improve Markdown formatting and wording TagBot #13: Issue comment #15 (comment) created by codecov bot
1s
1s
graph families: improve Markdown formatting and wording CI #28: Pull request #15 opened by nsajko
2m 2s l
l
2m 2s
feature: biclique-free graphs TagBot #12: Issue comment #13 (comment) created by nsajko
1s
1s
pages build and deployment pages-build-deployment #6: by github-pages bot
39s gh-pages
gh-pages
39s
more undirected graph families (#14) CI #27: Commit 117a17c pushed by nsajko
1m 54s main
main
1m 54s
more undirected graph families TagBot #11: Issue comment #14 (comment) created by codecov bot
1s
1s
more undirected graph families CI #26: Pull request #14 opened by nsajko
1m 50s k
k
1m 50s
pages build and deployment pages-build-deployment #5: by github-pages bot
39s gh-pages
gh-pages
39s
add more properties (#12) CI #25: Commit 905267e pushed by nsajko
2m 29s main
main
2m 29s
add more properties CI #24: Pull request #12 synchronize by nsajko
2m 23s j
j
2m 23s
CompatHelper CompatHelper #1: Scheduled
1m 58s main
main
1m 58s
add more properties TagBot #10: Issue comment #12 (comment) created by codecov bot
1s
1s
add more properties CI #23: Pull request #12 opened by nsajko
1m 52s j
j
1m 52s