Skip to content

Actions: mitex-rs/mitex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
dev: work on arxiv.2301.00029 (#178) mitex::ci #470: Commit 3abe1bc pushed by Myriad-Dreamin
1m 13s main
main
1m 13s
dev: work on arxiv.2301.00029 (#178) GitHub Pages #78: Commit 3abe1bc pushed by Myriad-Dreamin
1m 29s main
main
1m 29s
dev: work on arxiv.2301.00029 mitex::lint_pr_title #235: Pull request #178 synchronize by Myriad-Dreamin
9s work-arxiv.2301.00029
work-arxiv.2301.00029
9s
dev: work on arxiv.2301.00029 mitex::ci #469: Pull request #178 synchronize by Myriad-Dreamin
1m 16s work-arxiv.2301.00029
work-arxiv.2301.00029
1m 16s
chore: add TODOs for theorem and array handling mitex::ci #468: Commit 6228e0e pushed by Myriad-Dreamin
1m 20s work-arxiv.2301.00029
work-arxiv.2301.00029
1m 20s
test: add mitex testset hash regression mitex::ci #467: Commit 863eb87 pushed by Myriad-Dreamin
28s work-arxiv.2301.00029
work-arxiv.2301.00029
28s
docs: fix image link GitHub Pages #77: Commit bdbfe01 pushed by OrangeX4
1m 30s main
main
1m 30s
docs: fix image link mitex::ci #466: Commit bdbfe01 pushed by OrangeX4
48s main
main
48s
feat: add 'gather*' environment definition (#221) GitHub Pages #76: Commit b29662e pushed by OrangeX4
1m 37s main
main
1m 37s
feat: add 'gather*' environment definition (#221) mitex::ci #465: Commit b29662e pushed by OrangeX4
48s main
main
48s
docs: add author mitex::ci #463: Commit 356da7c pushed by OrangeX4
48s main
main
48s
docs: add author GitHub Pages #75: Commit 356da7c pushed by OrangeX4
1m 25s main
main
1m 25s
feat: add \\textperthousand command (#220) mitex::ci #462: Commit 22482bc pushed by OrangeX4
59s main
main
59s
feat: add \\textperthousand command (#220) GitHub Pages #74: Commit 22482bc pushed by OrangeX4
1m 27s main
main
1m 27s
feat: support \textperthousand command mitex::ci #461: Pull request #220 opened by Shichien
1m 4s Shichien:fix/textperthousand
Shichien:fix/textperthousand
1m 4s
feat: support \textperthousand command mitex::lint_pr_title #233: Pull request #220 opened by Shichien
11s Shichien:fix/textperthousand
Shichien:fix/textperthousand
11s
chore: bump version to 0.2.7 mitex::ci #460: Commit 51f7210 pushed by OrangeX4
51s 0.2.7
0.2.7
51s
chore: bump version to 0.2.7 GitHub Pages #73: Commit 51f7210 pushed by OrangeX4
1m 30s main
main
1m 30s
chore: bump version to 0.2.7 mitex::ci #459: Commit 51f7210 pushed by OrangeX4
52s main
main
52s
docs: update mitex version in README example mitex::ci #458: Commit 5df58be pushed by OrangeX4
50s 0.2.6
0.2.6
50s
docs: update mitex version in README example GitHub Pages #72: Commit 5df58be pushed by OrangeX4
1m 45s main
main
1m 45s
docs: update mitex version in README example mitex::ci #457: Commit 5df58be pushed by OrangeX4
53s main
main
53s
docs: add preamble docs and move the internal docs to `CONTRIBUTING.m… mitex::ci #456: Commit 3891a29 pushed by OrangeX4
57s main
main
57s
docs: add preamble docs and move the internal docs to `CONTRIBUTING.m… GitHub Pages #71: Commit 3891a29 pushed by OrangeX4
24s main
main
24s
docs: update mitex version in README example GitHub Pages #70: Commit ecbd2da pushed by OrangeX4
1m 35s main
main
1m 35s