Skip to content

Actions: jump-dev/JuMP.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow run results
32 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #2568: by odow
October 22, 2023 21:18 5m 39s gh-pages
gh-pages
October 22, 2023 21:18 5m 39s
Prep for v1.16.0 TagBot #10863: Issue comment #3547 (comment) created by codecov bot
October 22, 2023 20:48 2s
October 22, 2023 20:48 2s
extension-tests extension-tests #28: Manually run by odow
October 22, 2023 20:32 20m 0s master
master
October 22, 2023 20:32 20m 0s
Prep for v1.16.0 Documentation #4108: Pull request #3547 opened by odow
October 22, 2023 20:32 45m 59s od/v1.16
od/v1.16
October 22, 2023 20:32 45m 59s
Prep for v1.16.0 aqua-lint #2545: Pull request #3547 opened by odow
October 22, 2023 20:32 5m 2s od/v1.16
od/v1.16
October 22, 2023 20:32 5m 2s
Prep for v1.16.0 format-check #3644: Pull request #3547 opened by odow
October 22, 2023 20:32 1m 58s od/v1.16
od/v1.16
October 22, 2023 20:32 1m 58s
Prep for v1.16.0 CI #4090: Pull request #3547 opened by odow
October 22, 2023 20:32 6h 0m 26s od/v1.16
od/v1.16
October 22, 2023 20:32 6h 0m 26s