Achim D. Brucker
|
eac94f2a01
|
Merge branch 'Isabelle_dev'
|
2022-11-02 07:28:23 +00:00 |
Achim D. Brucker
|
943af164f4
|
Fixed typo.
|
2022-10-30 21:15:45 +00:00 |
Achim D. Brucker
|
873151b4f3
|
Update to Isabelle 2022.
|
2022-10-30 17:56:15 +00:00 |
Achim D. Brucker
|
82645c2e8e
|
Update to Isabelle 2022.
|
2022-10-30 17:30:21 +00:00 |
Achim D. Brucker
|
1939ffeea4
|
Added missing line break declaration.
|
2022-06-29 23:33:29 +01:00 |
Achim D. Brucker
|
74093dfaae
|
Improved quick and dirty mode for CI.
|
2022-06-29 23:20:01 +01:00 |
Achim D. Brucker
|
d3f41dca9e
|
In quick and dirty mode, do not require a clean build.
|
2022-06-29 15:59:02 +01:00 |
Achim D. Brucker
|
ae3d35e363
|
Fixed quick and dirty mode.
|
2022-06-29 15:34:27 +01:00 |
Achim D. Brucker
|
41a6c22822
|
Optimised quick&dirty setup.
|
2022-06-29 14:51:04 +01:00 |
Achim D. Brucker
|
4ac7c84403
|
Optimised quick&dirty setup.
|
2022-06-29 13:57:07 +01:00 |
Achim D. Brucker
|
38f6516ad9
|
Optimised quick&dirty setup.
|
2022-06-29 13:37:35 +01:00 |
Achim D. Brucker
|
c1efddf252
|
Changed order of lualatex and pdflatex Ci build [CI SKIP].
|
2022-06-26 17:23:53 +01:00 |
Achim D. Brucker
|
f63d922096
|
Fixed woodpecker config.
|
2022-06-26 16:56:46 +01:00 |
Achim D. Brucker
|
11b309da02
|
Only build distributin archive for lualatex build.
|
2022-06-26 16:46:56 +01:00 |
Achim D. Brucker
|
1444f8f48b
|
Fixed outdated use of mkroot_DOF and added (not yet tested) setup to create build archive during CI build.
|
2022-06-26 16:35:23 +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
|
1b25a08da8
|
Added email notification for failed builds.
|
2022-03-31 06:39:01 +01:00 |
Achim D. Brucker
|
e5874396c4
|
Re-added build badge.
|
2022-03-27 21:15:10 +01:00 |
Achim D. Brucker
|
60b7216daa
|
Removed confusing build status.
|
2022-03-27 15:51:32 +01:00 |
Achim D. Brucker
|
9522597733
|
Updated release script to new installation setup.
|
2022-03-27 14:05:05 +01:00 |
Achim D. Brucker
|
7b8ae0a93d
|
Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME.
|
2022-03-27 13:21:55 +01:00 |
Achim D. Brucker
|
c2fbd57f12
|
Fixed deployment directories.
|
2022-03-26 22:11:03 +00:00 |
Achim D. Brucker
|
1f1a504bf0
|
Ensure that etc-directory in ISABELLE_HOME_USER exists.
|
2022-03-26 21:57:22 +00:00 |
Achim D. Brucker
|
57b9720d99
|
Test mkroot_DOF as part of CI build.
|
2022-03-26 21:30:15 +00:00 |
Achim D. Brucker
|
0f6ec7dcd1
|
Updated Isabelle version to 2021-1.
|
2022-03-26 19:43:53 +00:00 |
Achim D. Brucker
|
68e8d0be4a
|
Ensure etc directory exists.
|
2022-03-26 19:34:38 +00:00 |
Achim D. Brucker
|
f4286404fb
|
Merge branch 'v1.2.x/Isabelle2021'
|
2022-03-26 18:25:33 +00:00 |
Achim D. Brucker
|
5ae72e1103
|
Merge branch 'porting_to_Isabelle2021-1'
|
2022-03-26 18:17:57 +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
|
f3f24c0d2e
|
Initial support for matrix setup generating documents using pdflatex and lualatex.
|
2022-03-24 10:00:01 +00:00 |
Achim D. Brucker
|
7bb4ab58e9
|
Removed Docker file, no longer needed for Isabelle 2021-1.
|
2022-03-20 22:07:33 +00:00 |
Achim D. Brucker
|
50e42ca5c0
|
Reorganized CI setup.
|
2022-03-20 11:04:23 +00:00 |
Achim D. Brucker
|
d7cf6f1fc7
|
Removed outdated Jenkinsfile.
|
2022-03-19 21:07:12 +00:00 |
Achim D. Brucker
|
a89878079e
|
Generate link to latest artifacts.
|
2022-03-19 20:29:22 +00:00 |
Achim D. Brucker
|
703b9a055d
|
Renamed build step.
|
2022-03-17 22:32:35 +00:00 |
Achim D. Brucker
|
6c74a2e0f5
|
Basic Woodpecker setup (migration from Jenkins).
|
2022-03-17 22:28:31 +00:00 |