Skip to content

Actions: tirix/metamath-knife

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The database needs to be parsed with incremental mode for grammar par… verify #301: Commit 7c10fbf pushed by tirix
January 18, 2025 18:56 2m 28s incremental
incremental
January 18, 2025 18:56 2m 28s
dump formulas in source order (#172) verify #300: Commit 26e5fe9 pushed by tirix
January 18, 2025 18:55 2m 49s incremental
incremental
January 18, 2025 18:55 2m 49s
Merge branch 'metamath:main' into main verify #299: Commit b9463e2 pushed by tirix
January 18, 2025 13:31 2m 42s main
main
January 18, 2025 13:31 2m 42s
Merge branch 'metamath:main' into main verify #298: Commit 9873c96 pushed by tirix
January 13, 2025 11:40 3m 3s main
main
January 13, 2025 11:40 3m 3s
Clippy 1.84.0 verify #297: Commit f4c916f pushed by tirix
January 13, 2025 11:20 2m 38s clippy-1-84-0
clippy-1-84-0
January 13, 2025 11:20 2m 38s
Merge branch 'metamath:main' into main verify #296: Commit dc2b035 pushed by tirix
January 13, 2025 11:11 1m 20s main
main
January 13, 2025 11:11 1m 20s
Check for unknown labels in usage commands verify #295: Commit d718d04 pushed by tirix
January 6, 2025 09:18 2m 42s usage-unknown
usage-unknown
January 6, 2025 09:18 2m 42s
Merge remote-tracking branch 'upstream/main' into fix-174 verify #294: Commit 674c953 pushed by tirix
January 6, 2025 09:07 2m 50s fix-174
fix-174
January 6, 2025 09:07 2m 50s
Merge branch 'metamath:main' into main verify #293: Commit 04c5997 pushed by tirix
January 6, 2025 09:06 2m 35s main
main
January 6, 2025 09:06 2m 35s
Clippy fixes verify #292: Commit b779a71 pushed by tirix
January 6, 2025 08:56 2m 49s clippy-fixes
clippy-fixes
January 6, 2025 08:56 2m 49s
Fix for #174, more parser checks and more parser tests verify #291: Commit 82c9582 pushed by tirix
January 5, 2025 16:49 1m 14s fix-174
fix-174
January 5, 2025 16:49 1m 14s
Update CLI help verify #290: Commit 8d1070d pushed by tirix
September 22, 2024 23:03 2m 53s upd-cli-help
upd-cli-help
September 22, 2024 23:03 2m 53s
Update CLI help verify #289: Commit 8d1070d pushed by tirix
September 22, 2024 23:02 2m 47s main
main
September 22, 2024 23:02 2m 47s
Merge branch 'metamath:main' into main verify #288: Commit 088be6a pushed by tirix
September 18, 2024 22:14 2m 45s main
main
September 18, 2024 22:14 2m 45s
compiler: upgrade time from 0.3.21 to 0.3.36 verify #287: Commit 5ecfff6 pushed by tirix
July 30, 2024 18:19 1m 28s upgrade_time
upgrade_time
July 30, 2024 18:19 1m 28s
Merge branch 'metamath:main' into main verify #286: Commit 78ef39b pushed by tirix
June 22, 2024 17:30 2m 34s main
main
June 22, 2024 17:30 2m 34s
Merge branch 'main' into verify_definitions verify #285: Commit ca1e4af pushed by tirix
June 1, 2024 14:12 2m 43s verify_definitions
verify_definitions
June 1, 2024 14:12 2m 43s
fmt verify #284: Commit 2699fe0 pushed by tirix
May 18, 2024 17:50 2m 10s rust_1_78_precond
rust_1_78_precond
May 18, 2024 17:50 2m 10s
Workaround rust 1.78 precondition checks. verify #283: Commit d1abd91 pushed by tirix
May 18, 2024 17:48 1m 1s rust_1_78_precond
rust_1_78_precond
May 18, 2024 17:48 1m 1s
Merge branch 'metamath:main' into main verify #282: Commit 326193d pushed by tirix
April 28, 2024 13:29 2m 16s main
main
April 28, 2024 13:29 2m 16s
Add check for DV conditions verify #281: Commit e6f8ab9 pushed by tirix
February 4, 2024 02:18 2m 28s minimizer
minimizer
February 4, 2024 02:18 2m 28s
Add check for axiom usage. verify #280: Commit cf62783 pushed by tirix
February 3, 2024 18:17 2m 36s minimizer
minimizer
February 3, 2024 18:17 2m 36s
Fix discouraged check verify #279: Commit 21133bb pushed by tirix
January 30, 2024 20:45 3m 31s minimizer
minimizer
January 30, 2024 20:45 3m 31s
Fix a few bugs, attempt to speed up. verify #278: Commit 516d58f pushed by tirix
January 30, 2024 20:08 2m 15s minimizer
minimizer
January 30, 2024 20:08 2m 15s
Merge branch 'metamath:main' into main verify #277: Commit 40cf9a5 pushed by tirix
January 27, 2024 12:57 3m 32s main
main
January 27, 2024 12:57 3m 32s