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

Add tip box to getting started section #840

Merged
merged 1 commit into from
Aug 4, 2023
Merged

Conversation

fbanning
Copy link
Member

@fbanning fbanning commented Aug 4, 2023

Recently we had a few questions and issues pop up on Slack which were due to people using older versions (often v4.x) of Agents.jl.

This PR adds a short tip box to the "Getting started" section in the docs and advises to generally use the latest released version of Agents.jl.

This PR adds a short tip box about using the latest released version of Agents.jl.
@fbanning fbanning self-assigned this Aug 4, 2023
@codecov-commenter
Copy link

codecov-commenter commented Aug 4, 2023

Codecov Report

Merging #840 (99efa13) into main (22142db) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #840   +/-   ##
=======================================
  Coverage   70.18%   70.18%           
=======================================
  Files          42       42           
  Lines        2727     2727           
=======================================
  Hits         1914     1914           
  Misses        813      813           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@fbanning fbanning merged commit 3ac17b8 into main Aug 4, 2023
6 checks passed
@fbanning fbanning deleted the latest-version-info branch August 4, 2023 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants