7 Commits (7515561883f8f70f390f4c34ee09e9f31b2fbe70)

Author	SHA1	Message	Date
Alexander Bentkamp	071871b696	copy action from lean4web	4 years ago
Alexander Bentkamp	52bcce6152	move libatomic1 first	4 years ago
Alexander Bentkamp	292bf9befc	try to fix github action	4 years ago
Alexander Bentkamp	375fffcff7	attempt to fix github action	4 years ago
Alexander Bentkamp	3f2fe9072f	fix github action	4 years ago
Alexander Bentkamp	84bcdd8c8a	fix github action	4 years ago
Alexander Bentkamp	c2c04422a9	Add github action	4 years ago