Skip to content

Actions: metamath/metamath-knife

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
support non-compressed proofs in axiom_use.rs verify #600: Commit b346884 pushed by digama0
June 15, 2024 03:32 3m 10s axiom_use_normal
axiom_use_normal
June 15, 2024 03:32 3m 10s
clippy fixes verify #599: Commit 6d16caa pushed by digama0
June 15, 2024 03:30 2m 32s main
main
June 15, 2024 03:30 2m 32s
improve axiom detection heuristic in axiom_use.rs verify #598: Pull request #162 opened by digama0
June 15, 2024 03:25 1m 15s axiom_use_axiom
axiom_use_axiom
June 15, 2024 03:25 1m 15s
improve axiom detection heuristic in axiom_use.rs verify #597: Commit 08a19fd pushed by digama0
June 15, 2024 03:23 1m 22s axiom_use_axiom
axiom_use_axiom
June 15, 2024 03:23 1m 22s
support non-compressed proofs in axiom_use.rs verify #596: Pull request #161 opened by digama0
June 15, 2024 03:15 1m 20s axiom_use_normal
axiom_use_normal
June 15, 2024 03:15 1m 20s
support non-compressed proofs in axiom_use.rs verify #595: Commit 2480646 pushed by digama0
June 15, 2024 03:14 1m 18s axiom_use_normal
axiom_use_normal
June 15, 2024 03:14 1m 18s
Verify definitions verify #594: Pull request #116 synchronize by tirix
June 1, 2024 14:12 2m 36s tirix:verify_definitions
tirix:verify_definitions
June 1, 2024 14:12 2m 36s
HTML validation in verify markup (#157) verify #593: Commit 251c70c pushed by tirix
June 1, 2024 14:09 2m 41s main
main
June 1, 2024 14:09 2m 41s
HTML validation in verify markup verify #592: Pull request #157 synchronize by tirix
June 1, 2024 14:03 2m 38s verify_html
verify_html
June 1, 2024 14:03 2m 38s
Merge branch 'main' into verify_html verify #591: Commit d756294 pushed by tirix
June 1, 2024 14:03 2m 24s verify_html
verify_html
June 1, 2024 14:03 2m 24s