Skip to content

Actions: potassco/anthem

Actions

Build the application with Cargo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
348 workflow runs
348 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #402: Pull request #172 synchronize by teiesti
February 1, 2025 05:28 1m 11s tobias/simplifications_part1
tobias/simplifications_part1
February 1, 2025 05:28 1m 11s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #401: Pull request #172 synchronize by teiesti
February 1, 2025 00:39 1m 8s tobias/simplifications_part1
tobias/simplifications_part1
February 1, 2025 00:39 1m 8s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #400: Pull request #172 synchronize by teiesti
February 1, 2025 00:29 1m 14s tobias/simplifications_part1
tobias/simplifications_part1
February 1, 2025 00:29 1m 14s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #399: Pull request #172 synchronize by teiesti
February 1, 2025 00:07 1m 7s tobias/simplifications_part1
tobias/simplifications_part1
February 1, 2025 00:07 1m 7s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #398: Pull request #172 synchronize by teiesti
January 31, 2025 23:25 1m 5s tobias/simplifications_part1
tobias/simplifications_part1
January 31, 2025 23:25 1m 5s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #397: Pull request #172 synchronize by teiesti
January 31, 2025 16:00 1m 13s tobias/simplifications_part1
tobias/simplifications_part1
January 31, 2025 16:00 1m 13s
Report elapsed time Build the application with Cargo #396: Commit ee9565b pushed by teiesti
January 31, 2025 15:48 1m 8s master
master
January 31, 2025 15:48 1m 8s
Zach/timing2 Build the application with Cargo #395: Pull request #179 synchronize by teiesti
January 31, 2025 15:33 1m 10s zach/timing2
zach/timing2
January 31, 2025 15:33 1m 10s
Zach/timing2 Build the application with Cargo #394: Pull request #179 synchronize by teiesti
January 31, 2025 14:59 1m 12s zach/timing2
zach/timing2
January 31, 2025 14:59 1m 12s
change parsing prefix for whitespace expansion Build the application with Cargo #393: Commit 3ffe441 pushed by teiesti
January 31, 2025 14:58 1m 9s master
master
January 31, 2025 14:58 1m 9s
Fix parsing for theories, specifications and user guides beginning with empty line/comment Build the application with Cargo #392: Pull request #180 synchronize by ZachJHansen
January 31, 2025 14:55 1m 13s jan/issue_127
jan/issue_127
January 31, 2025 14:55 1m 13s
Update dependencies Build the application with Cargo #391: Commit bda2792 pushed by ZachJHansen
January 31, 2025 14:48 1m 43s master
master
January 31, 2025 14:48 1m 43s
Update dependencies Build the application with Cargo #390: Pull request #184 synchronize by ZachJHansen
January 31, 2025 14:46 1m 9s tobias/dependencies
tobias/dependencies
January 31, 2025 14:46 1m 9s
more formatting tests Build the application with Cargo #389: Commit c6a7a2b pushed by teiesti
January 31, 2025 14:45 1m 10s master
master
January 31, 2025 14:45 1m 10s
Update dependencies Build the application with Cargo #388: Pull request #184 synchronize by ZachJHansen
January 31, 2025 14:44 1m 8s tobias/dependencies
tobias/dependencies
January 31, 2025 14:44 1m 8s
More test for the control language Build the application with Cargo #387: Pull request #181 synchronize by teiesti
January 31, 2025 14:38 1m 9s jan/control_language_tests
jan/control_language_tests
January 31, 2025 14:38 1m 9s
adding orphan example to external equivalence Build the application with Cargo #386: Commit 56ecc20 pushed by teiesti
January 31, 2025 14:36 1m 5s master
master
January 31, 2025 14:36 1m 5s
Fix parsing for theories, specifications and user guides beginning with empty line/comment Build the application with Cargo #385: Pull request #180 synchronize by janheuer
January 31, 2025 13:29 1m 11s jan/issue_127
jan/issue_127
January 31, 2025 13:29 1m 11s
Update dependencies Build the application with Cargo #384: Pull request #184 opened by teiesti
January 31, 2025 09:51 1m 9s tobias/dependencies
tobias/dependencies
January 31, 2025 09:51 1m 9s
adding orphan example to external equivalence Build the application with Cargo #383: Pull request #183 opened by ZachJHansen
January 30, 2025 20:34 1m 16s zach/example
zach/example
January 30, 2025 20:34 1m 16s
More test for the control language Build the application with Cargo #382: Pull request #181 synchronize by janheuer
January 10, 2025 08:17 1m 16s jan/control_language_tests
jan/control_language_tests
January 10, 2025 08:17 1m 16s
More test for the control language Build the application with Cargo #381: Pull request #181 opened by janheuer
January 10, 2025 08:00 1m 11s jan/control_language_tests
jan/control_language_tests
January 10, 2025 08:00 1m 11s
Fix parsing for theories, specifications and user guides beginning with empty line/comment Build the application with Cargo #380: Pull request #180 opened by janheuer
January 9, 2025 09:57 1m 7s jan/issue_127
jan/issue_127
January 9, 2025 09:57 1m 7s
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 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