Skip to content

Actions: potassco/anthem

Actions

Build the manual with mdBook and deploy it

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mdbook_deploy.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement substitute for SymbolicTerms Build the manual with mdBook and deploy it #13: Commit ecc2fa5 pushed by ZachJHansen
December 5, 2024 16:25 37s master
master
December 5, 2024 16:25 37s
Add parenthesis to TPTP formatting of unary and binary formulas Build the manual with mdBook and deploy it #12: Commit 4f59103 pushed by teiesti
December 4, 2024 20:45 28s master
master
December 4, 2024 20:45 28s
updating standard preamble names in docs Build the manual with mdBook and deploy it #11: Commit 8117e97 pushed by teiesti
December 4, 2024 14:43 24s master
master
December 4, 2024 14:43 24s
adding introduction to manual Build the manual with mdBook and deploy it #10: Commit cf011f1 pushed by teiesti
November 28, 2024 09:53 20s master
master
November 28, 2024 09:53 20s
formatting all variables with trailing _<SORT> for TPTP compliance (r… Build the manual with mdBook and deploy it #9: Commit b77a2ce pushed by teiesti
November 28, 2024 09:52 20s master
master
November 28, 2024 09:52 20s
naming TPTP formulas uniquely in a naive way (with counters) Build the manual with mdBook and deploy it #8: Commit d53ef72 pushed by teiesti
November 28, 2024 09:50 27s master
master
November 28, 2024 09:50 27s
Fix #156 Build the manual with mdBook and deploy it #7: Commit b276e4e pushed by ZachJHansen
November 22, 2024 15:49 23s master
master
November 22, 2024 15:49 23s
add a predicates function to theory Build the manual with mdBook and deploy it #6: Commit bf90b99 pushed by teiesti
November 22, 2024 14:32 1m 8s master
master
November 22, 2024 14:32 1m 8s
reverting docker changes Build the manual with mdBook and deploy it #5: Commit 553e380 pushed by teiesti
November 22, 2024 14:27 20s master
master
November 22, 2024 14:27 20s
move check for head mismatches to function Build the manual with mdBook and deploy it #4: Commit ef9777e pushed by ZachJHansen
November 21, 2024 21:25 22s master
master
November 21, 2024 21:25 22s
Simplify the TPTP formatter for Comparisons as a proof of concept Build the manual with mdBook and deploy it #3: Commit 24b2f32 pushed by ZachJHansen
November 21, 2024 21:02 21s master
master
November 21, 2024 21:02 21s
adding nathan to list of contributors Build the manual with mdBook and deploy it #2: Commit 17b05bb pushed by teiesti
September 24, 2024 08:03 54s master
master
September 24, 2024 08:03 54s
Add a Github workflow that deploys the manual to Github Pages Build the manual with mdBook and deploy it #1: Commit 3480e91 pushed by teiesti
September 12, 2024 10:49 20s master
master
September 12, 2024 10:49 20s