nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,541 Commits 31 Branches 0 Tags 57 MiB
Commit Graph

38 Commits

Author SHA1 Message Date
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