Achim D. Brucker
|
840c2d63ed
|
Initial commit.
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.
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.
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.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-20 10:42:37 +00:00 |
Achim D. Brucker
|
b71825b3d4
|
Fixed artifact deployment.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-20 10:38:58 +00:00 |
Achim D. Brucker
|
85619d4be3
|
Reorganized CI setup.
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.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-20 08:09:26 +00:00 |