Skip to content

Actions: tirix/metamath-web

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
32 workflow runs
32 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #28 from tirix/sts-tc Rust #32: Commit 79043c6 pushed by tirix
November 12, 2023 13:03 1m 18s main
main
November 12, 2023 13:03 1m 18s
Correct STS typecode for syntax definitions Rust #31: Pull request #28 opened by tirix
November 12, 2023 12:58 2m 57s sts-tc
sts-tc
November 12, 2023 12:58 2m 57s
Fmt Rust #30: Commit bf8f09b pushed by tirix
November 12, 2023 12:57 2m 2s sts-tc
sts-tc
November 12, 2023 12:57 2m 2s
Merge pull request #27 from tirix/syntax-breakdown Rust #29: Commit fcd37d4 pushed by tirix
November 11, 2023 23:03 1m 53s main
main
November 11, 2023 23:03 1m 53s
Formula extraction for syntax breakdown Rust #28: Pull request #27 synchronize by tirix
November 11, 2023 22:59 2m 21s syntax-breakdown
syntax-breakdown
November 11, 2023 22:59 2m 21s
Fmt Rust #27: Commit 83df792 pushed by tirix
November 11, 2023 22:59 1m 58s syntax-breakdown
syntax-breakdown
November 11, 2023 22:59 1m 58s
Formula extraction for syntax breakdown Rust #26: Pull request #27 opened by tirix
November 11, 2023 22:59 2m 2s syntax-breakdown
syntax-breakdown
November 11, 2023 22:59 2m 2s
Formula extraction for syntax breakdown Rust #25: Commit 6cf4e2c pushed by tirix
November 11, 2023 22:59 1m 14s syntax-breakdown
syntax-breakdown
November 11, 2023 22:59 1m 14s
Merge pull request #25 from tirix/math-font Rust #24: Commit 5b2a3be pushed by tirix
October 31, 2023 22:36 1m 55s main
main
October 31, 2023 22:36 1m 55s
Added XITS font for unicode typesetting Rust #23: Pull request #25 opened by tirix
October 31, 2023 22:18 1m 55s math-font
math-font
October 31, 2023 22:18 1m 55s
Added XITS font for unicode typesetting Rust #22: Commit 5a5f8a0 pushed by tirix
October 31, 2023 22:18 2m 19s math-font
math-font
October 31, 2023 22:18 2m 19s
Merge pull request #22 from tirix/fix-heading-comments Rust #21: Commit 8483900 pushed by tirix
October 30, 2023 13:12 2m 34s main
main
October 30, 2023 13:12 2m 34s
Fix heading comments Rust #20: Pull request #22 opened by tirix
October 30, 2023 13:08 1m 52s fix-heading-comments
fix-heading-comments
October 30, 2023 13:08 1m 52s
Fix heading comments Rust #19: Commit 0861fe0 pushed by tirix
October 30, 2023 13:07 2m 11s fix-heading-comments
fix-heading-comments
October 30, 2023 13:07 2m 11s
Merge pull request #21 from tirix/no-hyp-links Rust #18: Commit 1581065 pushed by tirix
October 30, 2023 10:56 2m 7s main
main
October 30, 2023 10:56 2m 7s
Remove links for hypotheses Rust #17: Pull request #21 opened by tirix
October 30, 2023 10:47 2m 3s no-hyp-links
no-hyp-links
October 30, 2023 10:47 2m 3s
Remove links for hypotheses Rust #16: Commit a3b6e6c pushed by tirix
October 30, 2023 10:47 2m 1s no-hyp-links
no-hyp-links
October 30, 2023 10:47 2m 1s
Merge pull request #20 from tirix/heading-comment Rust #15: Commit 6f2c010 pushed by tirix
October 30, 2023 10:47 1m 58s no-hyp-links
no-hyp-links
October 30, 2023 10:47 1m 58s
Merge pull request #20 from tirix/heading-comment Rust #14: Commit 6f2c010 pushed by tirix
October 30, 2023 10:44 1m 53s main
main
October 30, 2023 10:44 1m 53s
Header comments, bump metamath-knife to v0.3.7 Rust #13: Pull request #20 opened by tirix
October 30, 2023 09:44 2m 7s heading-comment
heading-comment
October 30, 2023 09:44 2m 7s
Header comments, bump metamath-knife to v0.3.7 Rust #12: Commit d437a02 pushed by tirix
October 30, 2023 09:43 1m 51s heading-comment
heading-comment
October 30, 2023 09:43 1m 51s
Merge pull request #15 from tirix/check-sts Rust #11: Commit 483d65d pushed by tirix
October 29, 2023 23:31 1m 47s main
main
October 29, 2023 23:31 1m 47s
Add check STS option Rust #10: Pull request #15 synchronize by tirix
October 29, 2023 23:12 2m 0s check-sts
check-sts
October 29, 2023 23:12 2m 0s
Fix/improve STS check Rust #9: Commit 8ae52bf pushed by tirix
October 29, 2023 23:12 2m 26s check-sts
check-sts
October 29, 2023 23:12 2m 26s
Add check STS option Rust #8: Pull request #15 synchronize by tirix
October 29, 2023 15:39 2m 36s check-sts
check-sts
October 29, 2023 15:39 2m 36s