Skip to content

Actions: potassco/anthem

Actions

Build the application with Cargo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
345 workflow runs
345 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Link to Patrick's version of anthem Build the application with Cargo #327: Commit c3bb4a8 pushed by ZachJHansen
August 28, 2024 15:15 1m 20s master
master
August 28, 2024 15:15 1m 20s
Link to Patrick's version of anthem Build the application with Cargo #326: Pull request #147 opened by teiesti
August 28, 2024 14:33 1m 25s tobias/link-to-anthem-1
tobias/link-to-anthem-1
August 28, 2024 14:33 1m 25s
adding test case Build the application with Cargo #325: Commit 8d932a6 pushed by teiesti
August 28, 2024 13:56 1m 10s master
master
August 28, 2024 13:56 1m 10s
Zach/tau star bugfix Build the application with Cargo #324: Pull request #146 opened by ZachJHansen
August 27, 2024 12:56 1m 18s zach/tau_star_bugfix
zach/tau_star_bugfix
August 27, 2024 12:56 1m 18s
addressing comments Build the application with Cargo #323: Commit bd5aafa pushed by teiesti
August 27, 2024 09:48 1m 8s master
master
August 27, 2024 09:48 1m 8s
Zach/manual Build the application with Cargo #322: Pull request #144 synchronize by ZachJHansen
August 27, 2024 07:20 1m 11s zach/manual
zach/manual
August 27, 2024 07:20 1m 11s
Zach/manual Build the application with Cargo #321: Pull request #144 synchronize by ZachJHansen
August 26, 2024 11:19 1m 8s zach/manual
zach/manual
August 26, 2024 11:19 1m 8s
Zach/manual Build the application with Cargo #320: Pull request #144 synchronize by ZachJHansen
August 26, 2024 11:06 1m 26s zach/manual
zach/manual
August 26, 2024 11:06 1m 26s
Zach/manual Build the application with Cargo #319: Pull request #144 synchronize by ZachJHansen
August 25, 2024 09:56 1m 10s zach/manual
zach/manual
August 25, 2024 09:56 1m 10s
Zach/manual Build the application with Cargo #318: Pull request #144 synchronize by ZachJHansen
August 24, 2024 16:05 1m 7s zach/manual
zach/manual
August 24, 2024 16:05 1m 7s
cargo clippy --fix Build the application with Cargo #317: Commit 8e855f2 pushed by ZachJHansen
August 24, 2024 16:05 1m 8s master
master
August 24, 2024 16:05 1m 8s
Support multithreading Build the application with Cargo #316: Pull request #145 synchronize by teiesti
August 24, 2024 16:03 1m 14s tobias/multithreading_v3
tobias/multithreading_v3
August 24, 2024 16:03 1m 14s
Support multithreading Build the application with Cargo #315: Pull request #145 opened by teiesti
August 24, 2024 15:34 1m 3s tobias/multithreading_v3
tobias/multithreading_v3
August 24, 2024 15:34 1m 3s
Zach/manual Build the application with Cargo #314: Pull request #144 synchronize by ZachJHansen
August 24, 2024 14:56 1m 7s zach/manual
zach/manual
August 24, 2024 14:56 1m 7s
Zach/manual Build the application with Cargo #313: Pull request #144 synchronize by ZachJHansen
August 24, 2024 12:44 1m 7s zach/manual
zach/manual
August 24, 2024 12:44 1m 7s
Zach/manual Build the application with Cargo #312: Pull request #144 synchronize by ZachJHansen
August 24, 2024 11:08 1m 8s zach/manual
zach/manual
August 24, 2024 11:08 1m 8s
Zach/manual Build the application with Cargo #311: Pull request #144 opened by ZachJHansen
August 24, 2024 11:08 1m 4s zach/manual
zach/manual
August 24, 2024 11:08 1m 4s
name annotated formulas in a tptp compliant way when adding them to P… Build the application with Cargo #310: Commit f186a0d pushed by teiesti
August 24, 2024 11:04 1m 6s master
master
August 24, 2024 11:04 1m 6s
name annotated formulas in a tptp compliant way when adding them to P… Build the application with Cargo #309: Pull request #143 synchronize by teiesti
August 24, 2024 11:03 1m 4s zach/bugfix
zach/bugfix
August 24, 2024 11:03 1m 4s
cargo fmt Build the application with Cargo #308: Commit e506222 pushed by teiesti
August 24, 2024 11:01 1m 5s master
master
August 24, 2024 11:01 1m 5s
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