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

Ignore whitespace at the end of programs or theories... Build the application with Cargo #57: Commit bb99f2b pushed by ZachJHansen
November 10, 2023 16:27 5m 42s master
master
November 10, 2023 16:27 5m 42s
Fix various parsing bugs Build the application with Cargo #56: Pull request #29 synchronize by teiesti
November 10, 2023 16:20 5m 43s tobias/fix_parsing_bugs
tobias/fix_parsing_bugs
November 10, 2023 16:20 5m 43s
Fix various parsing bugs Build the application with Cargo #55: Pull request #29 opened by teiesti
November 10, 2023 15:39 6m 47s tobias/fix_parsing_bugs
tobias/fix_parsing_bugs
November 10, 2023 15:39 6m 47s
Changing default formatting to omit $g sort declaration Build the application with Cargo #54: Commit a523435 pushed by teiesti
November 9, 2023 12:37 6m 12s master
master
November 9, 2023 12:37 6m 12s
Zach/sort vars formatting Build the application with Cargo #53: Pull request #26 opened by ZachJHansen
November 3, 2023 17:45 5m 16s zach/sort_vars_formatting
zach/sort_vars_formatting
November 3, 2023 17:45 5m 16s
Changing default formatting to omit $g sort declaration Build the application with Cargo #52: Pull request #25 opened by ZachJHansen
November 3, 2023 17:15 5m 13s zach/format
zach/format
November 3, 2023 17:15 5m 13s
Add a Theory node to the FOL syntax tree Build the application with Cargo #51: Commit 0b4a4d0 pushed by ZachJHansen
November 3, 2023 16:35 5m 8s master
master
November 3, 2023 16:35 5m 8s
Add a Theory node to the FOL syntax tree Build the application with Cargo #50: Pull request #24 opened by teiesti
November 3, 2023 16:21 5m 53s tobias/fol_add_theory_node
tobias/fol_add_theory_node
November 3, 2023 16:21 5m 53s
Fixing parsing of negation for fol Build the application with Cargo #49: Commit a573b8d pushed by teiesti
November 3, 2023 15:26 5m 38s master
master
November 3, 2023 15:26 5m 38s
Fixing parsing of negation for fol e.g. "not p" Build the application with Cargo #48: Pull request #23 opened by ZachJHansen
November 3, 2023 15:21 4m 54s zach/negation_fol_fix
zach/negation_fol_fix
November 3, 2023 15:21 4m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-11-03 or the other filters available.