QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 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 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit a7ca22c209 - Show all commits

2
.gitea/workflows/test.yaml
View File

@ -10,5 +10,5 @@ jobs:
uses: actions/checkout@v4
- name: test
run: |
. /opt/act_runner/erts/27.2/activate
. /home/act_runner/.erts/27.2.1/activate
./rebar3 eunit