Skip to content

Actions: potassco/anthem

Actions

Build the application with Cargo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
324 workflow runs
324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more simplifications Build the application with Cargo #364: Pull request #164 synchronize by teiesti
November 29, 2024 08:13 52s tobias/simplifications
tobias/simplifications
November 29, 2024 08:13 52s
adding introduction to manual Build the application with Cargo #363: Commit cf011f1 pushed by teiesti
November 28, 2024 09:53 1m 9s master
master
November 28, 2024 09:53 1m 9s
adding introduction to manual Build the application with Cargo #362: Pull request #168 synchronize by teiesti
November 28, 2024 09:52 1m 7s zach/manual
zach/manual
November 28, 2024 09:52 1m 7s
formatting all variables with trailing _<SORT> for TPTP compliance (r… Build the application with Cargo #361: Commit b77a2ce pushed by teiesti
November 28, 2024 09:52 1m 7s master
master
November 28, 2024 09:52 1m 7s
formatting all variables with trailing _<SORT> for TPTP compliance Build the application with Cargo #360: Pull request #167 synchronize by teiesti
November 28, 2024 09:50 1m 8s zach/tptp2
zach/tptp2
November 28, 2024 09:50 1m 8s
naming TPTP formulas uniquely in a naive way (with counters) Build the application with Cargo #359: Commit d53ef72 pushed by teiesti
November 28, 2024 09:50 1m 9s master
master
November 28, 2024 09:50 1m 9s
adding introduction to manual Build the application with Cargo #358: Pull request #168 opened by ZachJHansen
November 22, 2024 20:34 2m 0s zach/manual
zach/manual
November 22, 2024 20:34 2m 0s
formatting all variables with trailing _<SORT> for TPTP compliance Build the application with Cargo #357: Pull request #167 opened by ZachJHansen
November 22, 2024 19:52 1m 52s zach/tptp2
zach/tptp2
November 22, 2024 19:52 1m 52s
Zach/tptp Build the application with Cargo #356: Pull request #165 opened by ZachJHansen
November 22, 2024 19:02 2m 3s zach/tptp
zach/tptp
November 22, 2024 19:02 2m 3s
Add more simplifications Build the application with Cargo #355: Pull request #164 synchronize by teiesti
November 22, 2024 16:34 1m 0s tobias/simplifications
tobias/simplifications
November 22, 2024 16:34 1m 0s
Add more simplifications Build the application with Cargo #354: Pull request #164 opened by teiesti
November 22, 2024 16:33 2m 2s tobias/simplifications
tobias/simplifications
November 22, 2024 16:33 2m 2s
Fix #156 Build the application with Cargo #353: Commit b276e4e pushed by ZachJHansen
November 22, 2024 15:49 1m 47s master
master
November 22, 2024 15:49 1m 47s
Fix #156 Build the application with Cargo #352: Pull request #163 synchronize by teiesti
November 22, 2024 15:41 3m 14s tobias/issue_156
tobias/issue_156
November 22, 2024 15:41 3m 14s
Fix #156 Build the application with Cargo #351: Pull request #163 opened by teiesti
November 22, 2024 15:33 2m 0s tobias/issue_156
tobias/issue_156
November 22, 2024 15:33 2m 0s
add a predicates function to theory Build the application with Cargo #350: Commit bf90b99 pushed by teiesti
November 22, 2024 14:32 1m 11s master
master
November 22, 2024 14:32 1m 11s
Add a predicates function to theory Build the application with Cargo #349: Pull request #160 synchronize by teiesti
November 22, 2024 14:30 1m 55s jan/theory_predicates
jan/theory_predicates
November 22, 2024 14:30 1m 55s
reverting docker changes Build the application with Cargo #348: Commit 553e380 pushed by teiesti
November 22, 2024 14:27 2m 2s master
master
November 22, 2024 14:27 2m 2s
Zach/manual Build the application with Cargo #347: Pull request #157 synchronize by ZachJHansen
November 22, 2024 14:23 1m 57s zach/manual
zach/manual
November 22, 2024 14:23 1m 57s
Zach/manual Build the application with Cargo #346: Pull request #157 synchronize by ZachJHansen
November 22, 2024 14:21 1m 11s zach/manual
zach/manual
November 22, 2024 14:21 1m 11s
Add a predicates function to theory Build the application with Cargo #345: Pull request #160 opened by janheuer
November 22, 2024 10:14 1m 7s jan/theory_predicates
jan/theory_predicates
November 22, 2024 10:14 1m 7s
move check for head mismatches to function Build the application with Cargo #344: Commit ef9777e pushed by ZachJHansen
November 21, 2024 21:25 1m 9s master
master
November 21, 2024 21:25 1m 9s
Changes to completion API Build the application with Cargo #343: Pull request #159 synchronize by ZachJHansen
November 21, 2024 21:20 1m 8s jan/completion-api
jan/completion-api
November 21, 2024 21:20 1m 8s
Format option for translate command Build the application with Cargo #342: Pull request #154 synchronize by ZachJHansen
November 21, 2024 21:04 1m 13s jan/translate_format
jan/translate_format
November 21, 2024 21:04 1m 13s
Simplify the TPTP formatter for Comparisons as a proof of concept Build the application with Cargo #341: Commit 24b2f32 pushed by ZachJHansen
November 21, 2024 21:02 1m 11s master
master
November 21, 2024 21:02 1m 11s
Zach/manual Build the application with Cargo #340: Pull request #157 synchronize by ZachJHansen
November 21, 2024 20:52 1m 23s zach/manual
zach/manual
November 21, 2024 20:52 1m 23s