10 Commits

Include renames

Author	SHA1	Message	Date
Jon Eugster	92e9ed38b2	add manual trigger to github action	2024-02-29 01:02:28 +01:00
joneugster	15d79244d4	update workflow	2023-11-27 16:50:45 +01:00
joneugster	f13027f75c	update workflow	2023-11-27 16:47:35 +01:00
Alexander Bentkamp	071871b696	copy action from lean4web	2022-11-28 14:23:59 +01:00
Alexander Bentkamp	52bcce6152	move libatomic1 first	2022-11-28 14:10:57 +01:00
Alexander Bentkamp	292bf9befc	try to fix github action	2022-11-28 14:01:35 +01:00
Alexander Bentkamp	375fffcff7	attempt to fix github action	2022-11-28 12:24:11 +01:00
Alexander Bentkamp	3f2fe9072f	fix github action	2022-10-19 14:30:25 +02:00
Alexander Bentkamp	84bcdd8c8a	fix github action	2022-10-19 14:28:54 +02:00
Alexander Bentkamp	c2c04422a9	Add github action	2022-10-19 14:27:37 +02:00