Skip to content

Actions: potassco/anthem

Actions

Build the application with Cargo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

name annotated formulas in a tptp compliant way when adding them to P… Build the application with Cargo #307: Pull request #143 opened by ZachJHansen
August 24, 2024 09:55 1m 10s zach/bugfix
zach/bugfix
August 24, 2024 09:55 1m 10s
Zach/division Build the application with Cargo #306: Pull request #142 synchronize by ZachJHansen
August 23, 2024 13:23 1m 13s zach/division
zach/division
August 23, 2024 13:23 1m 13s
Zach/division Build the application with Cargo #305: Pull request #142 opened by ZachJHansen
August 23, 2024 13:21 51s zach/division
zach/division
August 23, 2024 13:21 51s
Move impl TryFrom<GeneralTerm> for Variable to the syntax tree Build the application with Cargo #304: Commit 39c51e1 pushed by ZachJHansen
August 23, 2024 07:53 1m 10s master
master
August 23, 2024 07:53 1m 10s
Zach/todos Build the application with Cargo #303: Pull request #140 synchronize by teiesti
August 23, 2024 07:51 1m 6s zach/todos
zach/todos
August 23, 2024 07:51 1m 6s
Zach/todos Build the application with Cargo #302: Pull request #140 synchronize by teiesti
August 23, 2024 07:47 1m 11s zach/todos
zach/todos
August 23, 2024 07:47 1m 11s
Add an option to pass a time limit to vampire Build the application with Cargo #301: Commit 4e39964 pushed by ZachJHansen
August 23, 2024 07:41 1m 4s master
master
August 23, 2024 07:41 1m 4s
Add an option to pass a time limit to vampire Build the application with Cargo #300: Pull request #141 synchronize by teiesti
August 23, 2024 07:38 1m 13s time_limits
time_limits
August 23, 2024 07:38 1m 13s
Add an option to pass a time limit to vampire Build the application with Cargo #299: Pull request #141 opened by teiesti
August 23, 2024 07:36 48s time_limits
time_limits
August 23, 2024 07:36 48s
Zach/todos Build the application with Cargo #298: Pull request #140 opened by ZachJHansen
August 22, 2024 19:40 1m 7s zach/todos
zach/todos
August 22, 2024 19:40 1m 7s
adding an option to pass a time limit to vampire Build the application with Cargo #297: Pull request #139 opened by ZachJHansen
August 22, 2024 17:19 1m 9s zach/time_limits
zach/time_limits
August 22, 2024 17:19 1m 9s
Adapt the external equivalence examples Build the application with Cargo #296: Commit 41dcaac pushed by teiesti
August 22, 2024 13:47 1m 18s master
master
August 22, 2024 13:47 1m 18s
Revise the syntax and treatment of placeholders Build the application with Cargo #295: Pull request #138 synchronize by teiesti
August 22, 2024 13:45 1m 8s zach/placeholders3
zach/placeholders3
August 22, 2024 13:45 1m 8s
Revise the syntax and treatment of placeholders Build the application with Cargo #294: Pull request #138 synchronize by teiesti
August 22, 2024 13:40 1m 8s zach/placeholders3
zach/placeholders3
August 22, 2024 13:40 1m 8s
Revise the syntax and treatment of placeholders Build the application with Cargo #293: Pull request #138 synchronize by teiesti
August 22, 2024 13:39 2m 6s zach/placeholders3
zach/placeholders3
August 22, 2024 13:39 2m 6s
Revise the syntax and treatment of placeholders Build the application with Cargo #292: Pull request #138 synchronize by teiesti
August 22, 2024 13:27 1m 9s zach/placeholders3
zach/placeholders3
August 22, 2024 13:27 1m 9s
Revise the syntax and treatment of placeholders Build the application with Cargo #291: Pull request #138 synchronize by teiesti
August 22, 2024 13:07 1m 14s zach/placeholders3
zach/placeholders3
August 22, 2024 13:07 1m 14s
Revise the syntax and treatment of placeholders Build the application with Cargo #290: Pull request #138 synchronize by teiesti
August 22, 2024 13:01 1m 1s zach/placeholders3
zach/placeholders3
August 22, 2024 13:01 1m 1s
Revise the syntax and treatment of placeholders Build the application with Cargo #289: Pull request #138 synchronize by teiesti
August 22, 2024 12:29 56s zach/placeholders3
zach/placeholders3
August 22, 2024 12:29 56s
Revise the syntax and treatment of placeholders Build the application with Cargo #288: Pull request #138 opened by ZachJHansen
August 22, 2024 11:32 57s zach/placeholders3
zach/placeholders3
August 22, 2024 11:32 57s
Remove the use of --out-dir from the examples Build the application with Cargo #287: Commit dd1a557 pushed by ZachJHansen
August 22, 2024 11:22 1m 19s master
master
August 22, 2024 11:22 1m 19s
Remove the use of --out-dir from the examples Build the application with Cargo #286: Pull request #133 synchronize by teiesti
August 22, 2024 09:14 1m 10s tobias/streamline_examples
tobias/streamline_examples
August 22, 2024 09:14 1m 10s
Write an introduction to the README Build the application with Cargo #285: Commit 2586aa3 pushed by teiesti
August 22, 2024 09:13 1m 5s master
master
August 22, 2024 09:13 1m 5s
Fill the README with information Build the application with Cargo #284: Pull request #137 synchronize by ZachJHansen
August 22, 2024 09:11 1m 10s tobias/readme
tobias/readme
August 22, 2024 09:11 1m 10s
adding docs for proof outlines and user guides Build the application with Cargo #283: Commit 030f3ea pushed by teiesti
August 22, 2024 09:10 1m 11s master
master
August 22, 2024 09:10 1m 11s