Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[TEST] Preview deployment #3272

Closed
wants to merge 6 commits into from
Closed

Conversation

eseiler
Copy link
Member

@eseiler eseiler commented Jul 18, 2024

Actual PR: #3273

This is a test PR for the infra/preview branch.
Because the new action runs on pull_request_target, the infra/preview branch needs to be in seqan/seqan3.

Deletion on close also works: https://github.com/seqan/seqan3/actions/runs/9995541887

eseiler added 6 commits July 18, 2024 18:31
ctest will download the webtags before building the documentation. This eliminates the need to run -- Found: /home/infri/develop/seqan3/include (3.4.0-rc.1)
-- Searching for doxygen.
-- Found dot tool. Enabling dot support.
-- Tag file will be fetched.
-- Configuring user doc.
-- Add user doc test.
-- Configuring devel doc.
-- Add dev doc test.
-- Configuring done (0.1s)
-- Generating done (0.0s)
-- Build files have been written to: /home/infri/develop/seqan3/build/documentation
[100%] Built target download-cppreference-doxygen-web-tag explicitly.
We do not need the cout, so we do not need to create unnecessary IO.
Auto-detects available threads. In constrast to running dot in parallel, running doxygen itself in parallel barely uses more CPU. doxygen only uses multiple threads for processing files.
It should not run on forks
@seqan-actions seqan-actions added lint [INTERNAL] signal for linting and removed lint [INTERNAL] signal for linting labels Jul 18, 2024
@seqan-actions
Copy link
Member

Documentation preview available at https://docs.seqan.de/preview/seqan/seqan3/3272

@seqan seqan deleted a comment from vercel bot Jul 18, 2024
@eseiler eseiler closed this Jul 18, 2024
@eseiler eseiler reopened this Jul 18, 2024
@seqan-actions seqan-actions added lint [INTERNAL] signal for linting and removed lint [INTERNAL] signal for linting labels Jul 18, 2024
@eseiler eseiler marked this pull request as draft July 18, 2024 17:04
@eseiler eseiler closed this Jul 19, 2024
@eseiler eseiler deleted the test/preview branch July 19, 2024 13:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants