 Achim D. Brucker
|
02d13cdcad
|
Fixed release script.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-05-27 21:48:04 +02:00 |
|
Achim D. Brucker
|
9318ea55a0
|
Fixed archive building after session renaming.
|
2023-04-15 16:52:25 +01:00 |
|
Achim D. Brucker
|
dd963a7e09
|
Re-activated build of release archive (fixed #27).
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-02-27 15:35:52 +00:00 |
|
Achim D. Brucker
|
b9eeb9e9b8
|
Temporarily disabled release creation.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-02-22 06:30:47 +00:00 |
 Makarius Wenzel
|
d93e1383d4
|
Afford full-scale command-line tool
|
2022-12-03 12:29:24 +01:00 |
|
Makarius Wenzel
|
3d5d1e7476
|
Further attempts at woodpecker environment
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-12-02 22:54:02 +01:00 |
|
Makarius Wenzel
|
4264e7cd15
|
Build Scala/Java components to get proper ISABELLE_CLASSPATH
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-12-02 21:40:59 +01:00 |
|
Makarius Wenzel
|
d7fb39d7eb
|
Adhoc command-line tool replaces old options
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-12-02 21:14:55 +01:00 |
|
Achim D. Brucker
|
943af164f4
|
Fixed typo.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-10-30 21:15:45 +00:00 |
|
Achim D. Brucker
|
1939ffeea4
|
Added missing line break declaration.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 23:33:29 +01:00 |
|
Achim D. Brucker
|
74093dfaae
|
Improved quick and dirty mode for CI.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 23:20:01 +01:00 |
|
Achim D. Brucker
|
d3f41dca9e
|
In quick and dirty mode, do not require a clean build.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 15:59:02 +01:00 |
|
Achim D. Brucker
|
ae3d35e363
|
Fixed quick and dirty mode.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 15:34:27 +01:00 |
|
Achim D. Brucker
|
41a6c22822
|
Optimised quick&dirty setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 14:51:04 +01:00 |
|
Achim D. Brucker
|
4ac7c84403
|
Optimised quick&dirty setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 13:57:07 +01:00 |
|
Achim D. Brucker
|
38f6516ad9
|
Optimised quick&dirty setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 13:37:35 +01:00 |
|
Achim D. Brucker
|
15fb6fdc2d
|
Added quick-and-dirty mode.
|
2022-06-26 16:00:06 +01:00 |
|
Achim D. Brucker
|
9d5c71d4e1
|
Migrated release script to new setup using Isabelle options for configuration.
|
2022-06-26 15:24:49 +01:00 |
|
Achim D. Brucker
|
9522597733
|
Updated release script to new installation setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-27 14:05:05 +01:00 |
|
Achim D. Brucker
|
f4286404fb
|
Merge branch 'v1.2.x/Isabelle2021'
|
2022-03-26 18:25:33 +00:00 |
|
Achim D. Brucker
|
de67a05160
|
Improved documentation.
|
2022-03-26 18:17:46 +00:00 |
|
Achim D. Brucker
|
d3270f4afa
|
Updated copyright headers.
|
2022-03-25 22:24:47 +00:00 |
|
Achim D. Brucker
|
6c74a2e0f5
|
Basic Woodpecker setup (migration from Jenkins).
|
2022-03-17 22:28:31 +00:00 |