Skip to content

Actions: goblint/cil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
356 workflow runs
356 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace list-then-empty-check patterns with short-circuiting alternatives docs #323: Pull request #224 synchronize by Copilot AI
2m 45s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
2m 45s
Replace list-then-empty-check patterns with short-circuiting alternatives build and run tests #947: Pull request #224 synchronize by Copilot AI
14m 6s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
14m 6s
Use List.exists in unrollDesignatorForNestedAnonymous docs #322: Commit 5550d17 pushed by Copilot AI
2m 31s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
2m 31s
Use List.exists in unrollDesignatorForNestedAnonymous build and run tests #946: Commit 5550d17 pushed by Copilot AI
11m 43s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
11m 43s
Addressing comment on PR #224 Copilot coding agent #14: by Copilot AI
2m 17s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
2m 17s
Replace list-then-empty-check patterns with short-circuiting alternatives docs #321: Pull request #224 synchronize by Copilot AI
2m 47s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
2m 47s
Replace list-then-empty-check patterns with short-circuiting alternatives build and run tests #945: Pull request #224 synchronize by Copilot AI
52m 46s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
52m 46s
Revert src/cil.ml changes build and run tests #944: Commit b8ac672 pushed by Copilot AI
43m 35s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
43m 35s
Revert src/cil.ml changes docs #320: Commit b8ac672 pushed by Copilot AI
2m 35s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
2m 35s
Addressing comment on PR #224 Copilot coding agent #13: by Copilot AI
2m 7s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
2m 7s
Replace list-then-empty-check patterns with short-circuiting alternatives build and run tests #943: Pull request #224 synchronize by Copilot AI
Action required copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
Action required
Replace list-then-empty-check patterns with short-circuiting alternatives docs #319: Pull request #224 synchronize by Copilot AI
Action required copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
Action required
Replace list computation + empty check with short-circuiting alternat… build and run tests #942: Commit 3422861 pushed by Copilot AI
Action required copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
Action required
Replace list computation + empty check with short-circuiting alternat… docs #318: Commit 3422861 pushed by Copilot AI
Action required copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
Action required
Replace list-then-empty-check patterns with short-circuiting alternatives docs #317: Pull request #224 opened by Copilot AI
Action required copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
Action required
Replace list-then-empty-check patterns with short-circuiting alternatives build and run tests #941: Pull request #224 opened by Copilot AI
Action required copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
Action required
Running Copilot coding agent Copilot coding agent #12: by Copilot AI
9m 23s copilot/audit-list-short-circuiting-opportunities
copilot/audit-list-short-circuiting-opportunities
9m 23s
Optimize hasAttribute to avoid unnecessary list allocation docs #316: Pull request #222 synchronize by Copilot AI
2m 34s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
2m 34s
Optimize hasAttribute to avoid unnecessary list allocation build and run tests #940: Pull request #222 synchronize by Copilot AI
19m 44s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
19m 44s
Remove obsolete sm comment before hasAttribute docs #315: Commit 01006d8 pushed by Copilot AI
2m 46s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
2m 46s
Remove obsolete sm comment before hasAttribute build and run tests #939: Commit 01006d8 pushed by Copilot AI
21m 59s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
21m 59s
Addressing comment on PR #222 Copilot coding agent #11: by Copilot AI
3m 33s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
3m 33s
Optimize hasAttribute to avoid unnecessary list allocation docs #314: Pull request #222 synchronize by Copilot AI
2m 37s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
2m 37s
Optimize hasAttribute to avoid unnecessary list allocation build and run tests #938: Pull request #222 synchronize by Copilot AI
19m 57s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
19m 57s
Optimize hasAttribute to use List.exists instead of filterAttributes docs #313: Commit c58bd38 pushed by Copilot AI
2m 51s copilot/optimize-hasattribute-implementation
copilot/optimize-hasattribute-implementation
2m 51s