Skip to content

Actions: digraphs/Digraphs

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implementation of DigraphInsertEdge and DigraphReduceEdge Lint #3811: Pull request #899 synchronize by linuskuehnle
Action required linuskuehnle:main
linuskuehnle:main
Action required
Lint Lint #3810: Scheduled
18s main
main
18s
Implement IsCograph with bug fixes Lint #3809: Pull request #904 synchronize by frankiegillis
34s frankiegillis:IsCograph
frankiegillis:IsCograph
34s
Implement IsCograph with bug fixes Lint #3808: Pull request #904 synchronize by frankiegillis
20s frankiegillis:IsCograph
frankiegillis:IsCograph
20s
Implement IsCograph with bug fixes Lint #3807: Pull request #904 synchronize by frankiegillis
22s frankiegillis:IsCograph
frankiegillis:IsCograph
22s
Implement IsCograph with bug fixes Lint #3806: Pull request #904 synchronize by frankiegillis
26s frankiegillis:IsCograph
frankiegillis:IsCograph
26s
build(deps): bump actions/upload-artifact from 5 to 7 Lint #3805: Commit f82c9f1 pushed by james-d-mitchell
17s main
main
17s
build(deps): bump actions/upload-artifact from 5 to 7 Lint #3804: Pull request #902 synchronize by dependabot bot
20s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
20s
Lint Lint #3803: Scheduled
23s main
main
23s
CI: Add codecov comment to PRs Lint #3802: Commit 4c5659f pushed by james-d-mitchell
27s main
main
27s
Update codecov Lint #3801: Pull request #903 opened by Joseph-Edwards
5m 0s Joseph-Edwards:codecov
Joseph-Edwards:codecov
5m 0s
Lint Lint #3800: Scheduled
18s main
main
18s
Lint Lint #3799: Scheduled
16s main
main
16s
build(deps): bump actions/upload-artifact from 5 to 7 Lint #3798: Pull request #902 opened by dependabot bot
22s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
22s
Lint Lint #3797: Scheduled
16s main
main
16s
Lint Lint #3796: Scheduled
16s main
main
16s
Lint Lint #3795: Scheduled
21s main
main
21s
Add failing example to tests Lint #3794: Commit 83b3f53 pushed by james-d-mitchell
8m 38s main
main
8m 38s
kernel: fix issues with assumptions in IS_ACYCLIC_DIGRAPH Lint #3793: Pull request #901 synchronize by reiniscirpons
18s james-d-mitchell:fix-issue-900
james-d-mitchell:fix-issue-900
18s
Lint Lint #3792: Scheduled
16s main
main
16s
Implementation of DigraphInsertEdge and DigraphReduceEdge Lint #3791: Pull request #899 synchronize by linuskuehnle
21s linuskuehnle:main
linuskuehnle:main
21s
Lint Lint #3790: Scheduled
17s main
main
17s
kernel: fix issues with assumptions in IS_ACYCLIC_DIGRAPH Lint #3789: Pull request #901 opened by james-d-mitchell
26s james-d-mitchell:fix-issue-900
james-d-mitchell:fix-issue-900
26s
Lint Lint #3788: Scheduled
20s main
main
20s
Lint Lint #3787: Scheduled
18s main
main
18s