Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
2,072 Commits 14 Branches 9 Tags 76 MiB
Commit Graph

89 Commits

Author SHA1 Message Date
Achim D. Brucker e12abadc94 Test with Isabelle 2023.
ci/woodpecker/push/build Pipeline failed Details
2023-09-14 06:29:01 +01:00
Achim D. Brucker e95c6386af Merge branch 'main' into isabelle_nightly 2023-06-04 10:20:13 +02:00
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 4adbe4ce81 Merge branch 'main' into isabelle_nightly
ci/woodpecker/push/build Pipeline failed Details
2023-05-15 10:20:12 +02:00
Achim D. Brucker 9cd34d7815 Run latexmk in error mode for checking for undefined references and other errors after build. 2023-05-15 07:35:11 +02:00
Achim D. Brucker 0c654e2634 Pull image for build ... 2023-04-28 11:21:13 +01:00
Achim D. Brucker 01bcc48c79 Fixing repo location in container (Fixes #26).
ci/woodpecker/push/build Pipeline failed Details
2023-04-28 11:20:23 +01:00
Achim D. Brucker c3aaaf9ebb Force pull of container and print latest log from Isabelle repo.
ci/woodpecker/push/build Pipeline failed Details
2023-04-28 07:33:24 +01:00
Achim D. Brucker 02bf9620f6 Changed registry. 2023-04-27 14:54:22 +01:00
Achim D. Brucker 4df233e9f4 Updated image name. 2023-04-27 13:35:11 +01:00
Achim D. Brucker 480272ad86 Merge branch 'main' into Isabelle_dev 2023-04-16 08:45:16 +01:00
Achim D. Brucker 9318ea55a0 Fixed archive building after session renaming. 2023-04-15 16:52:25 +01:00
Achim D. Brucker cc805cadbe Merged updates from main and ported them to Isabelle's development version.
ci/woodpecker/push/build Pipeline failed Details
2023-03-05 10:29:16 +00:00
Achim D. Brucker 5bf0b00fbc Fixed string comparision for /bin/sh.
ci/woodpecker/push/build Pipeline was successful Details
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.
ci/woodpecker/push/build Pipeline failed Details
2023-03-03 15:22:51 +00:00
Achim D. Brucker baf1d1b629 Check for sessions with quick_and_dirty mode enabled.
ci/woodpecker/push/build Pipeline was successful Details
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 684a775b07 Merge branch 'main' into Isabelle_dev 2023-03-01 11:53:53 +00:00
Achim D. Brucker 69808755da Added status message after successful check. 2023-03-01 10:31:30 +00:00
Achim D. Brucker 229f7c49de Merge branch 'main' into Isabelle_dev
ci/woodpecker/push/build Pipeline failed Details
2023-03-01 09:26:16 +00:00
Achim D. Brucker 3aa1b45837 Print status.
ci/woodpecker/push/build Pipeline was successful Details
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 684e1144bd Merge branch 'main' into Isabelle_dev 2023-03-01 09:20:23 +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 be2eaab09b Merge branch 'main' into Isabelle_dev
ci/woodpecker/push/build Pipeline failed Details
2023-02-28 05:20:29 +00:00
Achim D. Brucker 10b4eaf660 Fixed shebang.
ci/woodpecker/push/build Pipeline was successful Details
2023-02-28 01:02:23 +00: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 dfcd00ca73 Merge branch 'main' into Isabelle_dev
ci/woodpecker/push/build Pipeline failed Details
2023-02-27 12:41:18 +00:00
Achim D. Brucker 02332e8608 Re-activiated test for dof_mkroot.
ci/woodpecker/push/build Pipeline was successful Details
2023-02-27 09:05:34 +00:00
Achim D. Brucker 55f377da39 Merge branch 'main' into Isabelle_dev 2023-02-22 10:33:38 +00:00
Achim D. Brucker 2481603ce1 Temporarily disabled release creation.
ci/woodpecker/push/build Pipeline was successful Details
2023-02-22 06:52:12 +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
Achim D. Brucker fa27d2425e Retired dof_mkroot.
ci/woodpecker/push/build Pipeline was successful Details
2023-02-21 23:03:12 +00:00
Achim D. Brucker b0879e98fd Merge branch 'main' into Isabelle_dev 2023-02-21 08:34:41 +00:00
Achim D. Brucker f8399e0fb2 Exclude proof session from default build.
ci/woodpecker/push/build Pipeline failed Details
2023-02-21 08:30:07 +00:00
Achim D. Brucker 080d867587 Exclude proof session from default build.
ci/woodpecker/push/build Pipeline failed Details
2023-02-21 08:17:18 +00:00
Achim D. Brucker 64f4957679 Merge branch 'main' into Isabelle_dev
ci/woodpecker/push/build Pipeline failed Details
2023-02-19 20:53:19 +00:00
Achim D. Brucker e4a8ad4227 Exclude proof session from default build. 2023-02-19 20:51:28 +00:00
Achim D. Brucker 60b1c4f4d4 Update to Isabelle devleopment version.
ci/woodpecker/push/build Pipeline failed Details
2023-02-19 20:08:18 +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
ci/woodpecker/push/build Pipeline was successful Details
2022-12-05 12:37:59 +01:00
Makarius Wenzel 5471d873a9 Isabelle/Scala module within session context supports document_build = "dof" without component setup
ci/woodpecker/push/build Pipeline failed Details
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
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