Renaming and preparing to remove oracles #985

Merged
zxq9 merged 5 commits from gm2 into master 2025-03-13 12:53:02 +09:00
Showing only changes of commit 937f9ed873 - Show all commits

View File

@ -0,0 +1,14 @@
name: Sophia Tests
run-name: ${{ gitea.actor }} testing Sophia
on: [push, workflow_dispatch]
jobs:
tests:
runs-on: linux_amd64
steps:
- name: Check out repository code
uses: actions/checkout@v4
- name: test
run: |
. /opt/act_runner/erts/27.2.1/activate
./rebar3 eunit