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

Include syntactic axioms in --parse-formula verify #565: Pull request #153 opened by tirix
November 28, 2023 08:22 3m 8s tirix:fix-dump-stmt
tirix:fix-dump-stmt
November 28, 2023 08:22 3m 8s
List stmt verify #564: Pull request #150 synchronize by tirix
November 28, 2023 08:11 2m 46s tirix:list-stmt
tirix:list-stmt
November 28, 2023 08:11 2m 46s
Fix doc warnings, add doc to CI. (#151) verify #563: Commit 234b78d pushed by tirix
November 28, 2023 08:08 2m 20s main
main
November 28, 2023 08:08 2m 20s
Fix doc warnings, add doc to CI. verify #562: Pull request #151 synchronize by tirix
November 28, 2023 08:01 2m 39s tirix:doc-warning
tirix:doc-warning
November 28, 2023 08:01 2m 39s
switch from lazy_static to std::sync::OnceLock (#152) verify #561: Commit 8ea682e pushed by tirix
November 28, 2023 07:56 2m 41s main
main
November 28, 2023 07:56 2m 41s
switch from lazy_static to std::sync::OnceLock verify #560: Pull request #152 opened by digama0
November 28, 2023 06:24 2m 25s once_lock
once_lock
November 28, 2023 06:24 2m 25s
switch from lazy_static to std::sync::OnceLock verify #559: Commit 1428ea9 pushed by digama0
November 28, 2023 06:14 3m 25s once_lock
once_lock
November 28, 2023 06:14 3m 25s
Verify definitions verify #558: Pull request #116 synchronize by digama0
November 27, 2023 23:54 2m 17s tirix:verify_definitions
tirix:verify_definitions
November 27, 2023 23:54 2m 17s
wip verify #557: Commit 633845f pushed by digama0
November 27, 2023 23:49 55s verify_definitions_2
verify_definitions_2
November 27, 2023 23:49 55s
Split into library and binary (#149) verify #556: Commit 0cc6dda pushed by digama0
November 27, 2023 23:45 3m 3s main
main
November 27, 2023 23:45 3m 3s
List stmt verify #555: Pull request #150 synchronize by tirix
November 27, 2023 18:47 2m 11s tirix:list-stmt
tirix:list-stmt
November 27, 2023 18:47 2m 11s
Fix doc warnings, add doc to CI. verify #554: Pull request #151 opened by tirix
November 27, 2023 11:57 3h 47m 18s tirix:doc-warning
tirix:doc-warning
November 27, 2023 11:57 3h 47m 18s
Verify definitions verify #553: Pull request #116 synchronize by tirix
November 27, 2023 11:02 2m 52s tirix:verify_definitions
tirix:verify_definitions
November 27, 2023 11:02 2m 52s
Verify definitions verify #552: Pull request #116 synchronize by tirix
November 27, 2023 10:10 1m 1s tirix:verify_definitions
tirix:verify_definitions
November 27, 2023 10:10 1m 1s
Split into library and binary verify #551: Pull request #149 synchronize by tirix
November 26, 2023 23:09 2m 39s tirix:split-crates
tirix:split-crates
November 26, 2023 23:09 2m 39s
List stmt verify #550: Pull request #150 opened by tirix
November 26, 2023 18:32 2m 16s tirix:list-stmt
tirix:list-stmt
November 26, 2023 18:32 2m 16s
Split into library and binary verify #549: Pull request #149 opened by tirix
November 25, 2023 17:33 2m 22s tirix:split-crates
tirix:split-crates
November 25, 2023 17:33 2m 22s
fix error message in verify markup verify #548: Commit 2763d74 pushed by tirix
October 28, 2023 17:05 3m 20s v0.3.7
v0.3.7
October 28, 2023 17:05 3m 20s
fix error message in verify markup verify #547: Commit 2763d74 pushed by digama0
October 19, 2023 08:49 4m 23s main
main
October 19, 2023 08:49 4m 23s
Clippy update (#145) verify #546: Commit c9aea15 pushed by digama0
October 18, 2023 21:11 4m 37s main
main
October 18, 2023 21:11 4m 37s
Clippy update verify #545: Pull request #145 opened by tirix
October 18, 2023 20:44 4m 22s tirix:main
tirix:main
October 18, 2023 20:44 4m 22s
support syntax 'A' 'B' 'C'; command, style (#144) verify #544: Commit cf25861 pushed by tirix
October 18, 2023 19:59 2m 9s main
main
October 18, 2023 19:59 2m 9s
support syntax 'A' 'B' 'C'; command, style verify #543: Pull request #144 opened by digama0
September 30, 2023 22:50 3m 8s syntax_many
syntax_many
September 30, 2023 22:50 3m 8s
support syntax 'A' 'B' 'C'; command, style verify #542: Commit fce890a pushed by digama0
September 30, 2023 22:48 3m 35s syntax_many
syntax_many
September 30, 2023 22:48 3m 35s
Fix set.mm check (#143) verify #541: Commit fe5e7fc pushed by digama0
September 30, 2023 22:48 4m 55s syntax_many
syntax_many
September 30, 2023 22:48 4m 55s