Alexander Bentkamp
|
78ef3e0755
|
test ubuntu-20.04
|
1 year ago |
|
Alexander Bentkamp
|
071871b696
|
copy action from lean4web
|
2 years ago |
|
Alexander Bentkamp
|
52bcce6152
|
move libatomic1 first
|
2 years ago |
|
Alexander Bentkamp
|
292bf9befc
|
try to fix github action
|
2 years ago |
|
Alexander Bentkamp
|
375fffcff7
|
attempt to fix github action
|
2 years ago |
|
Alexander Bentkamp
|
3f2fe9072f
|
fix github action
|
2 years ago |
|
Alexander Bentkamp
|
84bcdd8c8a
|
fix github action
|
2 years ago |
|
Alexander Bentkamp
|
c2c04422a9
|
Add github action
|
2 years ago |