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.

Sign up for GitHub

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

Jump to bottom

Replaced outdated Travis CI by GitHub Actions link, and removed outda… #316

Merged
merged 1 commit into from
Apr 1, 2022
Merged

Replaced outdated Travis CI by GitHub Actions link, and removed outda… #316

merged 1 commit into from
Apr 1, 2022

Conversation

ccadar
Copy link
Contributor

@ccadar ccadar commented Apr 1, 2022

…ted Doxygen link.

@251
Copy link
Contributor

251 commented Apr 1, 2022

@ccadar The plan is to update the Doxygen link soon?

@ccadar
Copy link
Contributor Author

ccadar commented Apr 1, 2022

@251 yes, it will point to the Doxygen for the 2.3 release once this is added. I think that's the best we can do for now, until #309 is handled.

@251 251 merged commit 69a4625 into klee:master Apr 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ccadar @251