Skip to content

Actions: potassco/anthem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
469 workflow runs
469 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more, hopefully rather uncontroversial simplifications Build the manual with mdBook #121: Pull request #172 synchronize by ZachJHansen
December 17, 2024 16:31 12s tobias/simplifications_part1
tobias/simplifications_part1
December 17, 2024 16:31 12s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #379: Pull request #172 synchronize by ZachJHansen
December 17, 2024 16:31 1m 12s tobias/simplifications_part1
tobias/simplifications_part1
December 17, 2024 16:31 1m 12s
Zach/timing2 Build the manual with mdBook #120: Pull request #179 opened by ZachJHansen
December 11, 2024 17:38 10s zach/timing2
zach/timing2
December 11, 2024 17:38 10s
Zach/timing2 Build the application with Cargo #378: Pull request #179 opened by ZachJHansen
December 11, 2024 17:38 1m 9s zach/timing2
zach/timing2
December 11, 2024 17:38 1m 9s
adding double negation elim to classical simplifications Build the manual with mdBook #119: Pull request #178 opened by ZachJHansen
December 10, 2024 17:13 12s zach/classical_simplifications
zach/classical_simplifications
December 10, 2024 17:13 12s
adding double negation elim to classical simplifications Build the application with Cargo #377: Pull request #178 opened by ZachJHansen
December 10, 2024 17:13 1m 12s zach/classical_simplifications
zach/classical_simplifications
December 10, 2024 17:13 1m 12s
a first draft for automated testing of tptp compliance Build the application with Cargo #376: Pull request #177 opened by ZachJHansen
December 6, 2024 22:54 1m 10s zach/automated_testing
zach/automated_testing
December 6, 2024 22:54 1m 10s
a first draft for automated testing of tptp compliance Build the manual with mdBook #118: Pull request #177 opened by ZachJHansen
December 6, 2024 22:54 15s zach/automated_testing
zach/automated_testing
December 6, 2024 22:54 15s
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
Implement substitute for SymbolicTerms Build the application with Cargo #375: Commit ecc2fa5 pushed by ZachJHansen
December 5, 2024 16:25 1m 12s master
master
December 5, 2024 16:25 1m 12s
Implementation of Ordered Completion Build the manual with mdBook #117: Pull request #175 synchronize by janheuer
December 5, 2024 09:20 15s jan/ordered_completion
jan/ordered_completion
December 5, 2024 09:20 15s
Implementation of Ordered Completion Build the application with Cargo #374: Pull request #175 synchronize by janheuer
December 5, 2024 09:20 1m 8s jan/ordered_completion
jan/ordered_completion
December 5, 2024 09:20 1m 8s
Implementation of Ordered Completion Build the manual with mdBook #116: Pull request #175 opened by janheuer
December 5, 2024 09:19 30s jan/ordered_completion
jan/ordered_completion
December 5, 2024 09:19 30s
Implementation of Ordered Completion Build the application with Cargo #373: Pull request #175 opened by janheuer
December 5, 2024 09:19 1m 24s jan/ordered_completion
jan/ordered_completion
December 5, 2024 09:19 1m 24s
Implement substitute for SymbolicTerms Build the manual with mdBook #115: Pull request #173 synchronize by teiesti
December 4, 2024 22:44 13s tobias/fix_substitute
tobias/fix_substitute
December 4, 2024 22:44 13s
Implement substitute for SymbolicTerms Build the application with Cargo #372: Pull request #173 synchronize by teiesti
December 4, 2024 22:44 1m 9s tobias/fix_substitute
tobias/fix_substitute
December 4, 2024 22:44 1m 9s
Implement substitute for SymbolicTerms Build the application with Cargo #371: Pull request #173 opened by teiesti
December 4, 2024 22:40 56s tobias/fix_substitute
tobias/fix_substitute
December 4, 2024 22:40 56s
Implement substitute for SymbolicTerms Build the manual with mdBook #114: Pull request #173 opened by teiesti
December 4, 2024 22:40 11s tobias/fix_substitute
tobias/fix_substitute
December 4, 2024 22:40 11s
Add more, hopefully rather uncontroversial simplifications Build the manual with mdBook #113: Pull request #172 opened by teiesti
December 4, 2024 22:31 13s tobias/simplifications_part1
tobias/simplifications_part1
December 4, 2024 22:31 13s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #370: Pull request #172 opened by teiesti
December 4, 2024 22:31 1m 11s tobias/simplifications_part1
tobias/simplifications_part1
December 4, 2024 22:31 1m 11s
Add parenthesis to TPTP formatting of unary and binary formulas Build the application with Cargo #369: Commit 4f59103 pushed by teiesti
December 4, 2024 20:45 1m 14s master
master
December 4, 2024 20:45 1m 14s
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
Add parenthesis to TPTP formatting of unary and binary formulas Build the application with Cargo #368: Pull request #170 synchronize by teiesti
December 4, 2024 20:42 1m 10s zach/tptp3
zach/tptp3
December 4, 2024 20:42 1m 10s
Add parenthesis to TPTP formatting of unary and binary formulas Build the manual with mdBook #112: Pull request #170 synchronize by teiesti
December 4, 2024 20:42 14s zach/tptp3
zach/tptp3
December 4, 2024 20:42 14s
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