7 Commits (41cc23543b9e0c61209b1894441a56c4786eaf1b)

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