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

68 Commits

Author SHA1 Message Date
Achim D. Brucker 9318ea55a0 Fixed archive building after session renaming. 2023-04-15 16:52:25 +01:00
Achim D. Brucker 5bf0b00fbc Fixed string comparision for /bin/sh. 2023-03-04 19:17:05 +00:00
Achim D. Brucker c297b5cddd Make quick_and_dirty mode fail builds. 2023-03-04 14:51:32 +00:00
Achim D. Brucker 47c6ce78be Enabeling build of Isabelle_DOF-Proofs session. 2023-03-04 14:51:05 +00:00
Achim D. Brucker 9c324fde70 Qualified image URL. 2023-03-03 15:22:51 +00:00
Achim D. Brucker baf1d1b629 Check for sessions with quick_and_dirty mode enabled. 2023-03-02 08:43:57 +00:00
Achim D. Brucker de4c7a5168 Added warning mode. 2023-03-02 08:41:33 +00:00
Achim D. Brucker daea6333f1 Make dangling theories break the build. 2023-03-02 00:23:23 +00:00
Achim D. Brucker 69808755da Added status message after successful check. 2023-03-01 10:31:30 +00:00
Achim D. Brucker 3aa1b45837 Print status. 2023-03-01 09:25:10 +00:00
Achim D. Brucker 990c6f7708 Renaming. 2023-03-01 09:24:09 +00:00
Achim D. Brucker 14dd368cd0 Removed not needed escaping. 2023-03-01 09:23:27 +00:00
Achim D. Brucker ae514aea18 Print theories that are not part of session as part of the CI build. 2023-03-01 08:49:56 +00:00
Achim D. Brucker 10b4eaf660 Fixed shebang. 2023-02-28 01:02:23 +00:00
Achim D. Brucker dd963a7e09 Re-activated build of release archive (fixed #27). 2023-02-27 15:35:52 +00:00
Achim D. Brucker 02332e8608 Re-activiated test for dof_mkroot. 2023-02-27 09:05:34 +00:00
Achim D. Brucker 2481603ce1 Temporarily disabled release creation. 2023-02-22 06:52:12 +00:00
Achim D. Brucker b9eeb9e9b8 Temporarily disabled release creation. 2023-02-22 06:30:47 +00:00
Achim D. Brucker fa27d2425e Retired dof_mkroot. 2023-02-21 23:03:12 +00:00
Achim D. Brucker f8399e0fb2 Exclude proof session from default build. 2023-02-21 08:30:07 +00:00
Achim D. Brucker 080d867587 Exclude proof session from default build. 2023-02-21 08:17:18 +00:00
Achim D. Brucker e4a8ad4227 Exclude proof session from default build. 2023-02-19 20:51:28 +00:00
Achim D. Brucker 762225d20d Added check for file references to different sessions. 2023-02-19 17:28:47 +00:00
Makarius Wenzel 791990039b Tuned messages and options, following Isabelle/c7f3e94fce7b 2022-12-05 12:37:59 +01:00
Makarius Wenzel 5471d873a9 Isabelle/Scala module within session context supports document_build = "dof" without component setup 2022-12-04 19:13:08 +01:00
Makarius Wenzel df37250a00 Simplified args, following README.md 2022-12-04 19:00:23 +01: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 2022-12-02 22:54:02 +01:00
Makarius Wenzel 4264e7cd15 Build Scala/Java components to get proper ISABELLE_CLASSPATH 2022-12-02 21:40:59 +01:00
Makarius Wenzel d7fb39d7eb Adhoc command-line tool replaces old options 2022-12-02 21:14:55 +01:00
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