Skip to content

Actions: flux-rs/flux

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,746 workflow runs
1,746 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
Add align_of associated refinement ci #3189: Pull request #1555 opened by sweiglbosker
6m 10s sweiglbosker:align-of
sweiglbosker:align-of
6m 10s
Improve option spec (#1554) ci #3188: Commit 56b95a5 pushed by enjhnsn2
6m 12s main
main
6m 12s
Improve option spec ci #3187: Pull request #1554 opened by enjhnsn2
6m 21s improve_option_spec_clean
improve_option_spec_clean
6m 21s
Improve option spec ci #3186: Pull request #1553 opened by enjhnsn2
6m 30s improve_option_spec
improve_option_spec
6m 30s
Improve slice spec: add specs for last, get, split_first/last, split_at_checked, and mut counterparts ci #3185: Pull request #1552 synchronize by enjhnsn2
5m 55s improve_slice_spec
improve_slice_spec
5m 55s
Improve slice spec: add specs for last, get, split_first/last, split_at_checked, and mut counterparts ci #3184: Pull request #1552 opened by enjhnsn2
6m 13s improve_slice_spec
improve_slice_spec
6m 13s
Add flux-core spec for Result (#1545) ci #3183: Commit 1372da4 pushed by enjhnsn2
6m 11s main
main
6m 11s
Fix code in equality chapter (#1549) ci #3182: Commit 65c4620 pushed by nilehmann
6m 24s main
main
6m 24s
Fix code in equality chapter ci #3181: Pull request #1549 synchronize by sweiglbosker
6m 4s sweiglbosker:book
sweiglbosker:book
6m 4s
Add flux-core spec for Result ci #3180: Pull request #1545 synchronize by Copilot AI
6m 16s improve_result_spec
improve_result_spec
6m 16s
Fix code in equality chapter ci #3179: Pull request #1549 opened by sweiglbosker
6m 14s sweiglbosker:book
sweiglbosker:book
6m 14s
Add flux-core spec for Result ci #3178: Pull request #1545 synchronize by enjhnsn2
5m 50s improve_result_spec
improve_result_spec
5m 50s
Improve flux-core num specs (#1544) ci #3177: Commit 270a7b2 pushed by enjhnsn2
6m 32s main
main
6m 32s
Fix unsound signed integer division rule (#1548) ci #3176: Commit 037124c pushed by nilehmann
6m 9s main
main
6m 9s
Fix unsound signed integer division rule ci #3175: Pull request #1548 synchronize by Copilot AI
6m 16s copilot/fix-integer-division-unsoundness
copilot/fix-integer-division-unsoundness
6m 16s
Fix unsound signed integer division rule ci #3174: Pull request #1548 ready_for_review by nilehmann
6m 27s copilot/fix-integer-division-unsoundness
copilot/fix-integer-division-unsoundness
6m 27s
Fix unsound signed integer division rule ci #3173: Pull request #1548 synchronize by Copilot AI
6m 18s copilot/fix-integer-division-unsoundness
copilot/fix-integer-division-unsoundness
6m 18s
Add hornspec CHC backend integration ci #3171: Pull request #1543 synchronize by nilehmann
6m 23s copilot/add-integration-with-hornspec
copilot/add-integration-with-hornspec
6m 23s
Improve flux-core num specs ci #3170: Pull request #1544 synchronize by Copilot AI
6m 26s upgrade_num_specs
upgrade_num_specs
6m 26s
Add flux-core spec for Result ci #3169: Pull request #1545 opened by enjhnsn2
6m 7s improve_result_spec
improve_result_spec
6m 7s
Improve flux-core num specs ci #3168: Pull request #1544 synchronize by enjhnsn2
6m 27s upgrade_num_specs
upgrade_num_specs
6m 27s
Add hornspec CHC backend integration ci #3167: Pull request #1543 synchronize by Copilot AI
Action required copilot/add-integration-with-hornspec
copilot/add-integration-with-hornspec
Action required
Improve flux-core num specs ci #3166: Pull request #1544 synchronize by enjhnsn2
6m 13s upgrade_num_specs
upgrade_num_specs
6m 13s
Improve flux-core num specs ci #3165: Pull request #1544 opened by enjhnsn2
5m 43s upgrade_num_specs
upgrade_num_specs
5m 43s
Add hornspec CHC backend integration ci #3164: Pull request #1543 synchronize by Copilot AI
6m 15s copilot/add-integration-with-hornspec
copilot/add-integration-with-hornspec
6m 15s