Skip to content

Actions: digraphs/Digraphs

Actions

OS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
os.yml
1,096 workflow runs
1,096 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

OS OS #1566: Scheduled
20m 4s main
main
20m 4s
Implementing Colour Refinement OS #1565: Pull request #905 synchronize by RheyaM
22m 19s RheyaM:ColourRefinement
RheyaM:ColourRefinement
22m 19s
OS OS #1564: Scheduled
17m 8s main
main
17m 8s
Digraph decode/encode OS #1563: Pull request #912 opened by anujthak
19m 20s anujthak:digraph-decode/encode
anujthak:digraph-decode/encode
19m 20s
Implementing Colour Refinement OS #1562: Pull request #905 synchronize by RheyaM
24m 22s RheyaM:ColourRefinement
RheyaM:ColourRefinement
24m 22s
Implementing Colour Refinement OS #1561: Pull request #905 synchronize by RheyaM
9m 55s RheyaM:ColourRefinement
RheyaM:ColourRefinement
9m 55s
Fix: faulty encoding without faithfulness OS #1560: Pull request #911 opened by anujthak
17m 15s anujthak:digraph-decode/encode
anujthak:digraph-decode/encode
17m 15s
Implementing Colour Refinement OS #1559: Pull request #905 synchronize by RheyaM
18m 38s RheyaM:ColourRefinement
RheyaM:ColourRefinement
18m 38s
Implementing Colour Refinement OS #1558: Pull request #905 synchronize by RheyaM
3m 51s RheyaM:ColourRefinement
RheyaM:ColourRefinement
3m 51s
OS OS #1557: Scheduled
19m 41s main
main
19m 41s
Edge weights #7: DotEdgeWeightedDigraph (#892) OS #1556: Commit 4a09e25 pushed by mtorpey
22m 12s main
main
22m 12s
OS OS #1555: Scheduled
18m 17s main
main
18m 17s
OS OS #1554: Scheduled
21m 4s main
main
21m 4s
OS OS #1553: Scheduled
20m 34s main
main
20m 34s
OS OS #1552: Scheduled
19m 1s main
main
19m 1s
Implement IsJoinIrreducible and IsMeetIrreducible OS #1551: Pull request #910 opened by ThatOtherAndrew
21m 22s ThatOtherAndrew:pr/joinmeetirreducible
ThatOtherAndrew:pr/joinmeetirreducible
21m 22s
Add Nix flake for deterministic Nix builds (attempt 2) OS #1550: Pull request #909 opened by ThatOtherAndrew
20m 39s ThatOtherAndrew:nix
ThatOtherAndrew:nix
20m 39s
Add Nix flake for deterministic Nix builds OS #1549: Pull request #906 synchronize by ThatOtherAndrew
Action required ThatOtherAndrew:main
ThatOtherAndrew:main
Action required
Add Nix flake for deterministic Nix builds OS #1548: Pull request #906 synchronize by ThatOtherAndrew
Action required ThatOtherAndrew:main
ThatOtherAndrew:main
Action required
OS OS #1547: Scheduled
25m 26s main
main
25m 26s
Edge weights #7: DotEdgeWeightedDigraph OS #1546: Pull request #892 synchronize by mtorpey
20m 11s mtorpey:edge-weights-7-dot
mtorpey:edge-weights-7-dot
20m 11s
Edge weights #7: DotEdgeWeightedDigraph OS #1545: Pull request #892 synchronize by mtorpey
19m 41s mtorpey:edge-weights-7-dot
mtorpey:edge-weights-7-dot
19m 41s
Add UnitEdgeWeightedDigraph (#886) OS #1544: Commit 1f56fb0 pushed by mtorpey
22m 11s main
main
22m 11s
Add unitedgeweight digraph OS #1543: Pull request #886 synchronize by mtorpey
25m 3s coraaked:unitedgeweight-new
coraaked:unitedgeweight-new
25m 3s
Edge weights #7: DotEdgeWeightedDigraph OS #1542: Pull request #892 synchronize by mtorpey
20m 9s mtorpey:edge-weights-7-dot
mtorpey:edge-weights-7-dot
20m 9s