Skip to content

Actions: sagemath/sage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,042 workflow run results
4,042 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Functions for nice tree decomposition and its labelling Build & Test using Conda #4474: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 12h 49m 13s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 12h 49m 13s
Functions for nice tree decomposition and its labelling Build & Test #6759: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 3h 16m 14s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 3h 16m 14s
Functions for nice tree decomposition and its labelling Lint #6776: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 13m 30s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 13m 30s
Functions for nice tree decomposition and its labelling Build documentation (PDF) #1331: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 44m 35s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 44m 35s
Functions for nice tree decomposition and its labelling Build documentation #6762: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 47m 5s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 47m 5s
Functions for nice tree decomposition and its labelling Synchronize labels #12917: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 2s
November 13, 2023 20:35 2s
Functions for nice tree decomposition and its labelling CI Linux incremental #2320: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 3m 0s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 3m 0s
Functions for nice tree decomposition and its labelling Build & Test using Conda #4473: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 43s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 43s
Functions for nice tree decomposition and its labelling Build documentation #6761: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 43s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 43s
Functions for nice tree decomposition and its labelling Lint #6775: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 1m 0s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 1m 0s
Functions for nice tree decomposition and its labelling Build & Test #6758: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 59s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 59s
Functions for nice tree decomposition and its labelling Build documentation (PDF) #1330: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 59s guojing0:nice-tree-decomp
guojing0:nice-tree-decomp
November 13, 2023 20:35 59s
Functions for nice tree decomposition and its labelling Synchronize labels #12916: Pull request #36504 synchronize by guojing0
November 13, 2023 20:35 3s
November 13, 2023 20:35 3s
Publish documentation Publish documentation #6196: completed by mkoeppe
November 13, 2023 20:34 13s
November 13, 2023 20:34 13s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Lint #6774: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:31 11m 1s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:31 11m 1s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build & Test using Conda #4472: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:31 10m 7s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:31 10m 7s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build documentation #6760: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:31 15m 47s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:31 15m 47s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build & Test #6757: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:31 15m 47s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:31 15m 47s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build documentation (PDF) #1329: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:31 15m 48s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:31 15m 48s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Synchronize labels #12915: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:31 2s
November 13, 2023 20:31 2s
Publish documentation Publish documentation #6195: completed by mkoeppe
November 13, 2023 20:27 3s
November 13, 2023 20:27 3s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build documentation #6759: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:27 6m 14s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:27 6m 14s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build & Test #6756: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:27 6m 14s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:27 6m 14s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build documentation (PDF) #1328: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:27 6m 15s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:27 6m 15s
.ci/merge-fixes.sh: Obtain patches via URL, make customizable by repository variable Build & Test using Conda #4471: Pull request #36686 synchronize by mkoeppe
November 13, 2023 20:27 6m 15s mkoeppe:ci_merge_fixes_via_patch_url
mkoeppe:ci_merge_fixes_via_patch_url
November 13, 2023 20:27 6m 15s