Skip to content

Actions: potassco/anthem

Actions

Build the manual with mdBook

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mdbook.yml
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revise the syntax and treatment of placeholders Build the manual with mdBook #46: Pull request #138 synchronize by teiesti
August 22, 2024 13:07 16s zach/placeholders3
zach/placeholders3
August 22, 2024 13:07 16s
Revise the syntax and treatment of placeholders Build the manual with mdBook #45: Pull request #138 synchronize by teiesti
August 22, 2024 13:01 13s zach/placeholders3
zach/placeholders3
August 22, 2024 13:01 13s
Revise the syntax and treatment of placeholders Build the manual with mdBook #44: Pull request #138 synchronize by teiesti
August 22, 2024 12:29 12s zach/placeholders3
zach/placeholders3
August 22, 2024 12:29 12s
Revise the syntax and treatment of placeholders Build the manual with mdBook #43: Pull request #138 opened by ZachJHansen
August 22, 2024 11:32 18s zach/placeholders3
zach/placeholders3
August 22, 2024 11:32 18s
Remove the use of --out-dir from the examples Build the manual with mdBook #42: Commit dd1a557 pushed by ZachJHansen
August 22, 2024 11:22 13s master
master
August 22, 2024 11:22 13s
Remove the use of --out-dir from the examples Build the manual with mdBook #41: Pull request #133 synchronize by teiesti
August 22, 2024 09:14 10s tobias/streamline_examples
tobias/streamline_examples
August 22, 2024 09:14 10s
Write an introduction to the README Build the manual with mdBook #40: Commit 2586aa3 pushed by teiesti
August 22, 2024 09:13 12s master
master
August 22, 2024 09:13 12s
Fill the README with information Build the manual with mdBook #39: Pull request #137 synchronize by ZachJHansen
August 22, 2024 09:11 10s tobias/readme
tobias/readme
August 22, 2024 09:11 10s
adding docs for proof outlines and user guides Build the manual with mdBook #38: Commit 030f3ea pushed by teiesti
August 22, 2024 09:10 14s master
master
August 22, 2024 09:10 14s
adding docs for proof outlines and user guides Build the manual with mdBook #37: Pull request #136 synchronize by teiesti
August 22, 2024 09:04 13s zach/docs
zach/docs
August 22, 2024 09:04 13s
Fill the README with information Build the manual with mdBook #36: Pull request #137 opened by teiesti
August 22, 2024 09:03 13s tobias/readme
tobias/readme
August 22, 2024 09:03 13s
adding docs for proof outlines and user guides Build the manual with mdBook #35: Pull request #136 opened by ZachJHansen
August 22, 2024 08:17 14s zach/docs
zach/docs
August 22, 2024 08:17 14s
addressing comments Build the manual with mdBook #34: Commit 0e9271c pushed by teiesti
August 22, 2024 07:45 15s master
master
August 22, 2024 07:45 15s
Zach/induction Build the manual with mdBook #33: Pull request #134 synchronize by ZachJHansen
August 21, 2024 12:45 11s zach/induction
zach/induction
August 21, 2024 12:45 11s
Zach/induction Build the manual with mdBook #32: Pull request #134 opened by ZachJHansen
August 21, 2024 11:03 16s zach/induction
zach/induction
August 21, 2024 11:03 16s
Remove the use of --out-dir from the examples Build the manual with mdBook #31: Pull request #133 opened by teiesti
August 21, 2024 10:07 13s tobias/streamline_examples
tobias/streamline_examples
August 21, 2024 10:07 13s
rename proof to prover Build the manual with mdBook #30: Commit f0c2054 pushed by teiesti
August 21, 2024 08:36 17s master
master
August 21, 2024 08:36 17s
Move ProofOutline into its own module Build the manual with mdBook #29: Pull request #132 synchronize by ZachJHansen
August 21, 2024 08:29 16s zach/inductive_lemmas
zach/inductive_lemmas
August 21, 2024 08:29 16s
Move ProofOutline into its own module Build the manual with mdBook #28: Pull request #132 opened by ZachJHansen
August 21, 2024 08:29 16s zach/inductive_lemmas
zach/inductive_lemmas
August 21, 2024 08:29 16s
Change the file extension of proof outlines in the manual Build the manual with mdBook #27: Commit 02fc07d pushed by ZachJHansen
August 21, 2024 08:28 15s master
master
August 21, 2024 08:28 15s
Change the file extension for proof outlines from .help.spec to .po Build the manual with mdBook #26: Pull request #131 synchronize by teiesti
August 21, 2024 08:25 15s tobias/file_extension
tobias/file_extension
August 21, 2024 08:25 15s
Change the file extension for proof outlines from .help.spec to .po Build the manual with mdBook #25: Pull request #131 opened by teiesti
August 21, 2024 08:04 12s tobias/file_extension
tobias/file_extension
August 21, 2024 08:04 12s
Use TPTP built-in relation for only symbolic relations, if possible Build the manual with mdBook #24: Commit 1a2ffa3 pushed by ZachJHansen
August 20, 2024 15:03 16s master
master
August 20, 2024 15:03 16s
Simplify TPTP formatting for Relations with the same type Build the manual with mdBook #23: Pull request #130 opened by teiesti
August 20, 2024 15:01 20s tptp_simplifications
tptp_simplifications
August 20, 2024 15:01 20s
Split tests according to the simplification they review Build the manual with mdBook #22: Commit ea1e022 pushed by teiesti
August 20, 2024 13:41 13s master
master
August 20, 2024 13:41 13s