eburk/libflint
1
0
Fork 0
Code Actions Wiki Activity

move to gitea actions

Browse Source
This commit is contained in:
Evan Burkey
2024-04-10 17:31:38 -07:00
parent 60e2715e19
commit 77d4c11054
3 changed files with 57 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -5,3 +5,4 @@ compile_commands.json
site
libflint.so
test
.idea