Skip to content

Administriative stuff#159

Merged
rocky merged 1 commit intomasterfrom
administrative-stuff
Mar 13, 2026
Merged

Administriative stuff#159
rocky merged 1 commit intomasterfrom
administrative-stuff

Conversation

@rocky
Copy link
Member

@rocky rocky commented Mar 13, 2026

  • bump CI checkout versions
  • Another Mathics->Mathics3 change

bump CI checkout versions
Anther Mathics->Mathics3 change
@rocky rocky merged commit 2ca23c5 into master Mar 13, 2026
12 checks passed
@rocky rocky deleted the administrative-stuff branch March 13, 2026 12:36
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.

1 participant