Labels Milestones

Fixed all binaries using cmdliner to avoid newly deprecated functions #87

Closed

rand wants to merge 3 commits from 20220221_fix_cmdliner_deprecations into main

pull from: 20220221_fix_cmdliner_deprecations

merge into: robur:main

robur:20220628_removing_dream-path_calls

robur:20220802_test_hardcoded_links_in_albatross_and_builder

robur:20220803_adding_platform_filter_to_job_page

robur:20221220_perftest_hook_and_plot-generation

robur:access-list

robur:conan

robur:infer-mirage4

robur:login

robur:main

robur:viz-script-fixes

Conversation 1 Commits 3 Files Changed 5

rand commented 12 months ago

Owner

Especially take a look at the changes concerning evaluation of cmds - here Cmdliner changes the interface of eval, but also supplies alternative versions of eval. I chose to use the default, and let Cmdliner control the exit-code

Especially take a look at the changes concerning evaluation of cmds - here Cmdliner changes the interface of `eval`, but also supplies alternative versions of `eval`. I chose to use the default, and let Cmdliner control the exit-code

rand added 1 commit 12 months ago

4f4e167fc9 Fixed all binaries using cmdliner to avoid newly deprecated functions

rand added 1 commit 12 months ago

6ecc4b84d5 Merged manually with main

rand added 1 commit 12 months ago

6bc53badd6 builder-web.opam: Set minimal cmdliner version to 1.1.0

rand added a new dependency 12 months ago

#88 Using cached visualization-html at `datadir/_cache/<uuid>/<viz>.html` if present

hannes referenced this pull request 12 months ago

Using cached visualization-html at `datadir/_cache/<uuid>/<viz>.html` if present #88

hannes removed a dependency 12 months ago

#88 Using cached visualization-html at `datadir/_cache/<uuid>/<viz>.html` if present

reynir referenced this issue from a commit 11 months ago

Merge branch '20220221_fix_cmdliner_deprecations'

reynir commented 11 months ago

Owner

Manually merged

Manually merged

reynir closed this pull request 11 months ago

hannes deleted branch 20220221_fix_cmdliner_deprecations 11 months ago

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Assignees

Assign users

Clear assignees

No Assignees

2 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: robur/builder-web#87

Write Preview

Loading…

Cancel

Save

There is no content yet.