Jon Eugster
|
92e9ed38b2
|
add manual trigger to github action
|
12 months ago |
|
joneugster
|
15d79244d4
|
update workflow
|
1 year ago |
|
joneugster
|
f13027f75c
|
update workflow
|
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 |