Skip to content

Actions: metamath/metamath-knife

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

--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
Upd cli help (#167) verify #617: Commit d6bdf38 pushed by digama0
October 28, 2024 05:50 1m 13s main
main
October 28, 2024 05:50 1m 13s
dump formulas as s-exprs verify #616: Commit beb1d66 pushed by digama0
October 28, 2024 05:50 1m 15s main
main
October 28, 2024 05:50 1m 15s
Upd cli help (#167) verify #615: Commit d6bdf38 pushed by digama0
September 23, 2024 14:05 3m 14s main
main
September 23, 2024 14:05 3m 14s
Upd cli help verify #614: Pull request #167 opened by tirix
September 22, 2024 23:05 3m 11s tirix:upd-cli-help
tirix:upd-cli-help
September 22, 2024 23:05 3m 11s
Merge branch 'main' into parse_statement verify #613: Commit 4d19ab9 pushed by digama0
September 12, 2024 11:51 2m 48s parse_statement
parse_statement
September 12, 2024 11:51 2m 48s
clippy verify #612: Commit 39246e7 pushed by digama0
September 12, 2024 11:51 2m 39s main
main
September 12, 2024 11:51 2m 39s
Merge branch 'main' into parse_statement verify #611: Commit a14ee15 pushed by digama0
September 12, 2024 11:47 1m 21s parse_statement
parse_statement
September 12, 2024 11:47 1m 21s
fix verify #610: Commit 716577c pushed by digama0
July 30, 2024 20:49 2m 36s main
main
July 30, 2024 20:49 2m 36s
update dependencies verify #609: Commit f9a940d pushed by digama0
July 30, 2024 20:31 1m 19s main
main
July 30, 2024 20:31 1m 19s
Compiler: upgrade time from 0.3.21 to 0.3.36 verify #608: Pull request #166 opened by tirix
July 30, 2024 18:20 1m 32s tirix:upgrade_time
tirix:upgrade_time
July 30, 2024 18:20 1m 32s
check global dv ordering verify #607: Pull request #164 synchronize by digama0
July 5, 2024 05:42 2m 43s global_dv
global_dv
July 5, 2024 05:42 2m 43s
add negative test verify #606: Commit 2475f1e pushed by digama0
July 5, 2024 05:42 2m 34s global_dv
global_dv
July 5, 2024 05:42 2m 34s
check global dv ordering verify #605: Pull request #164 opened by digama0
July 3, 2024 23:08 2m 38s global_dv
global_dv
July 3, 2024 23:08 2m 38s
check global dv ordering verify #604: Commit ae11e6c pushed by digama0
July 3, 2024 22:28 2m 37s global_dv
global_dv
July 3, 2024 22:28 2m 37s
improve axiom detection heuristic in axiom_use.rs verify #603: Pull request #162 synchronize by digama0
June 15, 2024 03:33 2m 38s axiom_use_axiom
axiom_use_axiom
June 15, 2024 03:33 2m 38s
improve axiom detection heuristic in axiom_use.rs verify #602: Commit 2e3c16b pushed by digama0
June 15, 2024 03:33 3m 5s axiom_use_axiom
axiom_use_axiom
June 15, 2024 03:33 3m 5s
support non-compressed proofs in axiom_use.rs verify #601: Pull request #161 synchronize by digama0
June 15, 2024 03:33 3m 7s axiom_use_normal
axiom_use_normal
June 15, 2024 03:33 3m 7s