Fork: 0
nitta-lab / RDLProofSystem
Browse code
Add GitHub Actions workflow to mirror to GitBucket
feature/axiom-inference-mk2 feature/axiom_inference fix/dependencyTerm-constructor fixResource main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 5c28699 commit 7797adef9eb2a42b3a9ffbfa0b9f23cc17b8a72e
@Sakoda2269 Sakoda2269 authored on 9 Sep
GitHub committed on 9 Sep
Patch
Unified Split
Showing 1 changed file
View
.github/workflows/push2lab.yml 0 → 100644