Skip to content

Actions: flowr-analysis/flowr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
refactor: wip work on perf improvements QA #7567: Commit acb03b0 pushed by EagleoutIce
6m 0s counterexamples
counterexamples
6m 0s
Mark inactive issues as stale Mark inactive issues as stale #198: Scheduled
19s main
main
19s
tests-fix: taint confusion QA #7566: Commit 03513a6 pushed by MaxAtoms
4m 32s 2503-widening-and-other-tests
2503-widening-and-other-tests
4m 32s
refactor: review comments QA #7565: Commit 999f1b2 pushed by MaxAtoms
4m 43s 2692-mapping-resolution-order
2692-mapping-resolution-order
4m 43s
tests: add more interprocedural tests QA #7564: Commit c520759 pushed by MaxAtoms
3m 37s 2503-widening-and-other-tests
2503-widening-and-other-tests
3m 37s
Mark inactive issues as stale Mark inactive issues as stale #197: Scheduled
14s main
main
14s
Check for Broken Links and Publish Wiki Check for Broken Links and Publish Wiki #3973: Scheduled
5m 28s main
main
5m 28s
Problematic inputs linting rule: various improvements Check for Broken Links and Publish Wiki #3972: Pull request #2682 synchronize by Ellpeck
5m 18s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
5m 18s
Problematic inputs linting rule: various improvements QA #7563: Pull request #2682 synchronize by Ellpeck
3m 6s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
3m 6s
Problematic inputs linting rule: various improvements CodeQL #4060: Pull request #2682 synchronize by Ellpeck
1m 19s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
1m 19s
refactor: fix up whatever happened with that merge QA #7562: Commit a7d372a pushed by Ellpeck
5m 57s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
5m 57s
Problematic inputs linting rule: various improvements QA #7561: Pull request #2682 synchronize by Ellpeck
2m 1s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
2m 1s
Problematic inputs linting rule: various improvements Check for Broken Links and Publish Wiki #3971: Pull request #2682 synchronize by Ellpeck
3m 11s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
3m 11s
Problematic inputs linting rule: various improvements CodeQL #4059: Pull request #2682 synchronize by Ellpeck
1m 22s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
1m 22s
Merge branch 'main' into 2565-problematic-inputs-linting-rule-various… QA #7560: Commit fb5b4a5 pushed by Ellpeck
3m 7s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
3m 7s
feat: added argument resolve for problematic input eval QA #7559: Commit 88f3130 pushed by Ellpeck
4m 6s 2565-problematic-inputs-linting-rule-various-improvements
2565-problematic-inputs-linting-rule-various-improvements
4m 6s
feat(wip): staging capabilities ws; mutations QA #7558: Commit 4cc1463 pushed by EagleoutIce
6m 21s counterexamples
counterexamples
6m 21s
Mark inactive issues as stale Mark inactive issues as stale #196: Scheduled
13s main
main
13s
CodeQL CodeQL #4058: Scheduled
3m 31s main
main
3m 31s
Mark inactive issues as stale Mark inactive issues as stale #195: Scheduled
21s main
main
21s
feat-fix: nested criteria QA #7557: Commit 7763d40 pushed by lou7202
4m 49s 2110-call-context-query-and-cg-query-allow-to-ask-for-args-etc
2110-call-context-query-and-cg-query-allow-to-ask-for-args-etc
4m 49s
Mark inactive issues as stale Mark inactive issues as stale #194: Scheduled
19s main
main
19s
pages build and deployment pages-build-deployment #1151: by EagleoutIce
26s gh-pages
gh-pages
26s
Check for Broken Links and Publish Wiki Check for Broken Links and Publish Wiki #3970: completed by EagleoutIce
17m 19s
17m 19s
feat(dfg): reads edge for the set* family (#2751) QA #7556: Commit 55fc785 pushed by EagleoutIce
38m 25s main
main
38m 25s