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

Fix links to informal quint #269

Closed
rach-id opened this issue Jul 26, 2024 · 0 comments · Fixed by #282
Closed

Fix links to informal quint #269

rach-id opened this issue Jul 26, 2024 · 0 comments · Fixed by #282
Assignees
@rootulp
Labels
documentation Improvements or additions to documentation

Comments

@rach-id
Copy link
Member

rach-id commented Jul 26, 2024

The CI reports the following dead links:

  [✖] https://github.com/informalsystems/quint/blob/main/tutorials/README.md → Status: 404
  [✖] https://github.com/informalsystems/quint/blob/main/doc/quint-cheatsheet.pdf → Status: 404
  [✖] https://github.com/informalsystems/quint/blob/main/doc/builtin.md → Status: 404
@rach-id rach-id added the documentation Improvements or additions to documentation label Jul 26, 2024
@rach-id rach-id changed the title Fix links to informal quit Fix links to informal quint Jul 26, 2024
@rootulp rootulp self-assigned this Nov 15, 2024
@rootulp rootulp mentioned this issue Nov 15, 2024
Merged
rootulp added a commit that referenced this issue Nov 15, 2024
@rootulp
ci: fix lint, markdown links, and build (#282)
2fb6332 
Closes #269,
#275,
#279,
#222 (b/c no longer relevant)

Note: this PR removes code coverage. If we want it back, IMO it should
be a separate workflow.

<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->

## Summary by CodeRabbit

## Release Notes

- **New Features**
- Introduced new Makefile targets for linting and markdown link
checking.
  
- **Bug Fixes**
- Improved test reliability by ensuring correct variable capture in test
cases.

- **Documentation**
- Updated README files for clarity and accuracy, including installation
instructions and resource links.

- **Chores**
	- Updated Go version in project configuration.
- Streamlined workflow configurations for building and testing
processes.

<!-- end of auto-generated comment: release notes by coderabbit.ai -->
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rootulp rootulp

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

ci: fix lint, markdown links, and build rootulp/nmt
2 participants
@rootulp @rach-id