QPQ-AG/sophia
12
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Renaming and preparing to remove oracles #985

Merged
zxq9 merged 5 commits from gm2 into master 2025-03-13 12:53:02 +09:00
Conversation 1 Commits 5 Files Changed 70
+927 -1633
5 Commits
Author SHA1 Message Date
zxq9 d9f0f95bf7 Verup, new stdlib dir discovery
Sophia Tests / tests (push) Successful in 48m12s
Details
2025-02-25 16:08:31 +09:00
zxq9 a7ca22c209 Update test
Sophia Tests / tests (push) Successful in 48m10s
Details
2025-02-24 20:57:55 +09:00
zxq9 75043d0254 Update test
Sophia Tests / tests (push) Failing after 46m57s
Details
2025-02-24 20:55:54 +09:00
zxq9 937f9ed873 Add tests
Sophia Tests / tests (push) Failing after 46m58s
Details
2025-02-24 20:54:45 +09:00
zxq9 1b7a8e8fcd Renaming and preparing to remove oracles 2025-02-24 20:46:47 +09:00