isabelle-hacks

Author	SHA1	Message	Date
Achim D. Brucker	840c2d63ed	Initial commit. All checks were successful ci/woodpecker/push/build Pipeline was successful Details	2023-05-14 17:37:28 +02:00
Achim D. Brucker	6d6327a000	Exclude diff files.	2023-02-12 07:01:23 +00:00
Achim D. Brucker	712a372372	Use full qualified name for containers. Some checks failed ci/woodpecker/push/build Pipeline failed Details	2023-02-11 22:01:23 +00:00
Achim D. Brucker	343e4a4012	Added build setup checks.	2023-02-11 22:01:23 +00:00
Achim D. Brucker	eca181309d	Update to Isabelle 2022.	2022-10-29 22:01:23 +01:00
Achim D. Brucker	29fbeaed36	Added email notification for failed builds. All checks were successful ci/woodpecker/push/build Pipeline was successful Details	2022-04-01 08:16:37 +01:00
Achim D. Brucker	00a830f09c	Point directly to session specific HTML files. All checks were successful ci/woodpecker/push/build Pipeline was successful Details	2022-03-20 10:42:37 +00:00
Achim D. Brucker	b71825b3d4	Fixed artifact deployment. All checks were successful ci/woodpecker/push/build Pipeline was successful Details	2022-03-20 10:38:58 +00:00
Achim D. Brucker	85619d4be3	Reorganized CI setup. Some checks failed ci/woodpecker/push/build Pipeline failed Details	2022-03-20 10:36:46 +00:00
Achim D. Brucker	70d50de6e2	Switched from Jenkins to Woodpecker CI. All checks were successful ci/woodpecker/push/build Pipeline was successful Details	2022-03-20 08:09:26 +00:00