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

Citation instructions #6444

Merged
merged 4 commits into from
Mar 5, 2024
Merged

Citation instructions #6444

merged 4 commits into from
Mar 5, 2024

Commits on Mar 5, 2024

  1. [ new ] Create CITATION.cff

    @L-TChen
    L-TChen committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2987951 View commit details
    Browse the repository at this point in the history

  2. Add CITATION.cff to change-version.bash and test.yml accordingly

    @L-TChen
    L-TChen committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    4fbd591 View commit details
    Browse the repository at this point in the history

  3. Exclude CITATION.cff in CI

    @L-TChen
    L-TChen committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    f89bda3 View commit details
    Browse the repository at this point in the history

  4. Change "The Agda Team" to "Agda Developers"

    @L-TChen
    L-TChen committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    5bcad53 View commit details
    Browse the repository at this point in the history