Skip to content

Actions: digraphs/Digraphs

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
1,023 workflow runs
1,023 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Lint Lint #3937: Scheduled
16s main
main
16s
Lint Lint #3936: Scheduled
16s main
main
16s
Lint Lint #3935: Scheduled
22s main
main
22s
grahom.gi test coverage Lint #3934: Pull request #928 synchronize by mtorpey
16s mtorpey:grahom-coverage
mtorpey:grahom-coverage
16s
grahom.gi test coverage Lint #3933: Pull request #928 opened by mtorpey
17s mtorpey:grahom-coverage
mtorpey:grahom-coverage
17s
Add tests for AsSemigroup with 4 arguments. Lint #3932: Commit 7ba3ec4 pushed by james-d-mitchell
17s main
main
17s
Lint Lint #3931: Scheduled
16s main
main
16s
Tests for AsSemigroup with 4 arguments Lint #3930: Pull request #927 opened by mtorpey
19s mtorpey:digraph-coverage
mtorpey:digraph-coverage
19s
Lint Lint #3929: Scheduled
19s main
main
19s
Lint Lint #3928: Scheduled
22s main
main
22s
CI: use configflags instead of CONFIGFLAGS Lint #3927: Commit c0ec4ac pushed by james-d-mitchell
31s main
main
31s
Mutability of LineDigraph: doc and test Lint #3926: Commit 783a450 pushed by james-d-mitchell
22s main
main
22s
Correct Mutability of LineDigraph Lint #3925: Pull request #926 opened by mtorpey
20s mtorpey:constructors-coverage
mtorpey:constructors-coverage
20s
CI: use configflags instead of CONFIGFLAGS Lint #3924: Pull request #925 opened by fingolfin
18s fingolfin:mh/configflags
fingolfin:mh/configflags
18s
Lint Lint #3923: Scheduled
16s main
main
16s
Map Graph Recognition Lint #3922: Pull request #922 synchronize by anujthak
18s anujthak:map-graphs
anujthak:map-graphs
18s
DigraphDegeneracy improvements Lint #3921: Pull request #921 synchronize by mtorpey
16s mtorpey:degeneracy-improvements
mtorpey:degeneracy-improvements
16s
Test CliquesFinder with aut group and isolated vertices Lint #3920: Commit 5246e0c pushed by james-d-mitchell
17s main
main
17s
Lint Lint #3919: Scheduled
18s main
main
18s
Lint Lint #3918: Scheduled
14s main
main
14s
Cliques coverage Lint #3917: Pull request #923 opened by mtorpey
26s mtorpey:cliques-coverage
mtorpey:cliques-coverage
26s
Lint Lint #3916: Scheduled
17s main
main
17s
Lint Lint #3915: Scheduled
19s main
main
19s
Map Graph Recognition Lint #3914: Pull request #922 synchronize by anujthak
29s anujthak:map-graphs
anujthak:map-graphs
29s
Map Graph Recognition Lint #3913: Pull request #922 synchronize by anujthak
16s anujthak:map-graphs
anujthak:map-graphs
16s