Skip to content

Actions: metamath/metamath-knife

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for unknown labels in usage commands verify #642: Pull request #177 opened by tirix
January 6, 2025 09:24 2m 49s tirix:usage-unknown
tirix:usage-unknown
January 6, 2025 09:24 2m 49s
Fix for #174, more parser checks and more parser tests verify #641: Pull request #175 synchronize by tirix
January 6, 2025 09:07 2m 45s tirix:fix-174
tirix:fix-174
January 6, 2025 09:07 2m 45s
Clippy fixes (#176) verify #640: Commit 064494e pushed by tirix
January 6, 2025 09:06 2m 35s main
main
January 6, 2025 09:06 2m 35s
Clippy fixes verify #639: Pull request #176 opened by tirix
January 6, 2025 09:02 2m 55s tirix:clippy-fixes
tirix:clippy-fixes
January 6, 2025 09:02 2m 55s
Fix for #174, more parser checks and more parser tests verify #638: Pull request #175 opened by tirix
January 5, 2025 16:52 1m 7s tirix:fix-174
tirix:fix-174
January 5, 2025 16:52 1m 7s
--verify-parse-stmt does nothing (#171) verify #637: Commit 5268bcf pushed by tirix
November 30, 2024 12:48 1m 31s v0.3.9
v0.3.9
November 30, 2024 12:48 1m 31s
put parse trees in database order verify #636: Pull request #173 synchronize by digama0
October 28, 2024 16:44 2m 35s parse_order
parse_order
October 28, 2024 16:44 2m 35s
rewrite build_syntax_proof verify #635: Commit cc957dd pushed by digama0
October 28, 2024 16:44 2m 36s parse_order
parse_order
October 28, 2024 16:44 2m 36s
put parse trees in database order verify #634: Pull request #173 synchronize by digama0
October 28, 2024 13:58 2m 42s parse_order
parse_order
October 28, 2024 13:58 2m 42s
fix tests verify #633: Commit ac35fda pushed by digama0
October 28, 2024 13:58 2m 57s parse_order
parse_order
October 28, 2024 13:58 2m 57s
--verify-parse-stmt does nothing (#171) verify #632: Commit 5268bcf pushed by tirix
October 28, 2024 13:38 3m 10s main
main
October 28, 2024 13:38 3m 10s
dump formulas as s-exprs (#169) verify #631: Commit 5908b0b pushed by tirix
October 28, 2024 13:31 2m 43s main
main
October 28, 2024 13:31 2m 43s
put parse trees in database order verify #630: Pull request #173 opened by digama0
October 28, 2024 12:59 1m 16s parse_order
parse_order
October 28, 2024 12:59 1m 16s
put parse trees in database order verify #629: Commit bf745cf pushed by digama0
October 28, 2024 12:59 1m 16s parse_order
parse_order
October 28, 2024 12:59 1m 16s
put parse trees in database order verify #628: Commit 939e1e4 pushed by digama0
October 28, 2024 12:58 1m 10s parse_order
parse_order
October 28, 2024 12:58 1m 10s
dump formulas in source order verify #627: Pull request #172 opened by digama0
October 28, 2024 12:49 2m 51s dump_formula_order
dump_formula_order
October 28, 2024 12:49 2m 51s
--verify-parse-stmt does nothing verify #626: Pull request #171 opened by digama0
October 28, 2024 12:48 2m 49s verify_parse_stmt
verify_parse_stmt
October 28, 2024 12:48 2m 49s
--verify-parse-stmt does nothing verify #625: Commit cf8254c pushed by digama0
October 28, 2024 12:48 2m 46s verify_parse_stmt
verify_parse_stmt
October 28, 2024 12:48 2m 46s
dump formulas in source order verify #624: Commit 54784d3 pushed by digama0
October 28, 2024 12:47 2m 30s dump_formula_order
dump_formula_order
October 28, 2024 12:47 2m 30s
--verify-parse-stmt does nothing verify #623: Commit f4685ef pushed by digama0
October 28, 2024 12:45 2m 31s verify_parse_stmt
verify_parse_stmt
October 28, 2024 12:45 2m 31s
dump formulas as s-exprs verify #622: Pull request #169 synchronize by digama0
October 28, 2024 05:57 2m 59s dump_sexpr
dump_sexpr
October 28, 2024 05:57 2m 59s
dump formulas as s-exprs verify #621: Commit 285e57b pushed by digama0
October 28, 2024 05:57 2m 40s dump_sexpr
dump_sexpr
October 28, 2024 05:57 2m 40s
clippy fixes verify #620: Commit ed0e85c pushed by digama0
October 28, 2024 05:57 2m 28s main
main
October 28, 2024 05:57 2m 28s
dump formulas as s-exprs verify #619: Pull request #169 opened by digama0
October 28, 2024 05:53 1m 21s dump_sexpr
dump_sexpr
October 28, 2024 05:53 1m 21s
dump formulas as s-exprs verify #618: Commit 0e943e9 pushed by digama0
October 28, 2024 05:51 1m 9s dump_sexpr
dump_sexpr
October 28, 2024 05:51 1m 9s