Skip to content

Actions: affeldt-aist/coq2html

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Yoshihiro503@add comment .github/workflows/gen_analysis_artifact.yml #3: Pull request #79 opened by yoshihiro503
February 7, 2025 07:08 32m 30s yoshihiro503:yoshihiro503@add-comment
yoshihiro503:yoshihiro503@add-comment
February 7, 2025 07:08 32m 30s
Yoshihiro503@add comment Builds, tests & co #65: Pull request #79 opened by yoshihiro503
February 7, 2025 07:08 54s yoshihiro503:yoshihiro503@add-comment
yoshihiro503:yoshihiro503@add-comment
February 7, 2025 07:08 54s
CI: generate mathcomp analysis doc as an artifact Builds, tests & co #64: Pull request #78 synchronize by yoshihiro503
February 7, 2025 05:15 55s yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
February 7, 2025 05:15 55s
CI: generate mathcomp analysis doc as an artifact .github/workflows/gen_analysis_artifact.yml #2: Pull request #78 synchronize by yoshihiro503
February 7, 2025 05:15 31m 38s yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
February 7, 2025 05:15 31m 38s
CI: generate mathcomp analysis doc as an artifact .github/workflows/gen_analysis_artifact.yml #1: Pull request #78 opened by yoshihiro503
February 7, 2025 05:12 4s yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
February 7, 2025 05:12 4s
CI: generate mathcomp analysis doc as an artifact Builds, tests & co #63: Pull request #78 opened by yoshihiro503
February 7, 2025 05:12 1m 38s yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
yoshihiro503:yoshihiro503@ci-gen-mathcomp-as-artifact
February 7, 2025 05:12 1m 38s
CI: fix CI (#77) .github/workflows/deploy_static_site.yml #14: Commit b5de732 pushed by yoshihiro503
February 7, 2025 04:38 1h 10m 1s mca2html
mca2html
February 7, 2025 04:38 1h 10m 1s
CI: fix CI (#77) Builds, tests & co #62: Commit b5de732 pushed by yoshihiro503
February 7, 2025 04:38 4m 59s mca2html
mca2html
February 7, 2025 04:38 4m 59s
feat: Don't use '*' symbol for output filename, because CI failes. (#76) Builds, tests & co #61: Commit b5e375f pushed by yoshihiro503
February 7, 2025 04:38 4m 26s mca2html
mca2html
February 7, 2025 04:38 4m 26s
feat: Don't use '*' symbol for output filename, because CI failes. (#76) .github/workflows/deploy_static_site.yml #13: Commit b5e375f pushed by yoshihiro503
February 7, 2025 04:38 38m 5s mca2html
mca2html
February 7, 2025 04:38 38m 5s
CI: fix CI Builds, tests & co #60: Pull request #77 synchronize by yoshihiro503
February 7, 2025 03:05 1m 5s yoshihiro503:yoshihiro503@fix-ci
yoshihiro503:yoshihiro503@fix-ci
February 7, 2025 03:05 1m 5s
CI: fix CI Builds, tests & co #59: Pull request #77 opened by yoshihiro503
February 7, 2025 02:02 4m 36s yoshihiro503:yoshihiro503@fix-ci
yoshihiro503:yoshihiro503@fix-ci
February 7, 2025 02:02 4m 36s
CI: fix CI .github/workflows/deploy_static_site.yml #12: Pull request #77 opened by yoshihiro503
February 7, 2025 02:02 5s yoshihiro503:yoshihiro503@fix-ci
yoshihiro503:yoshihiro503@fix-ci
February 7, 2025 02:02 5s
feat: Don't use '*' symbol for output filename, because CI failes. Builds, tests & co #58: Pull request #76 opened by yoshihiro503
February 7, 2025 00:53 4m 28s yoshihiro503:yoshihiro503@dont-use-asterisk-for-ci-artifact
yoshihiro503:yoshihiro503@dont-use-asterisk-for-ci-artifact
February 7, 2025 00:53 4m 28s
Exclude nodes dont appear in hierarchy graph (#75) Builds, tests & co #57: Commit d34ef9e pushed by yoshihiro503
January 24, 2025 06:40 1m 8s mca2html
mca2html
January 24, 2025 06:40 1m 8s
Exclude nodes dont appear in hierarchy graph (#75) .github/workflows/deploy_static_site.yml #11: Commit d34ef9e pushed by yoshihiro503
January 24, 2025 06:40 1h 8m 16s mca2html
mca2html
January 24, 2025 06:40 1h 8m 16s
feat: ✨ introduce --style option for ocamldot (#70) .github/workflows/deploy_static_site.yml #10: Commit 55b8ab2 pushed by yoshihiro503
January 24, 2025 06:40 34m 48s mca2html
mca2html
January 24, 2025 06:40 34m 48s
feat: ✨ introduce --style option for ocamldot (#70) Builds, tests & co #56: Commit 55b8ab2 pushed by yoshihiro503
January 24, 2025 06:40 1m 0s mca2html
mca2html
January 24, 2025 06:40 1m 0s
Exclude nodes dont appear in hierarchy graph Builds, tests & co #55: Pull request #75 synchronize by yoshihiro503
January 17, 2025 08:03 56s yoshihiro503:yoshihiro503@exclude_nodes_dont_appear_in_hierarchy_graph
yoshihiro503:yoshihiro503@exclude_nodes_dont_appear_in_hierarchy_graph
January 17, 2025 08:03 56s
Exclude nodes dont appear in hierarchy graph Builds, tests & co #54: Pull request #75 synchronize by yoshihiro503
January 17, 2025 07:40 1m 6s yoshihiro503:yoshihiro503@exclude_nodes_dont_appear_in_hierarchy_graph
yoshihiro503:yoshihiro503@exclude_nodes_dont_appear_in_hierarchy_graph
January 17, 2025 07:40 1m 6s
refactor: Don't use sed in coq2html binary (#72) .github/workflows/deploy_static_site.yml #9: Commit 2a15754 pushed by yoshihiro503
January 17, 2025 07:27 38m 12s mca2html
mca2html
January 17, 2025 07:27 38m 12s
refactor: Don't use sed in coq2html binary (#72) Builds, tests & co #53: Commit 2a15754 pushed by yoshihiro503
January 17, 2025 07:27 4m 37s mca2html
mca2html
January 17, 2025 07:27 4m 37s
Exclude nodes dont appear in hierarchy graph Builds, tests & co #52: Pull request #75 opened by yoshihiro503
January 17, 2025 05:29 4m 40s yoshihiro503:yoshihiro503@exclude_nodes_dont_appear_in_hierarchy_graph
yoshihiro503:yoshihiro503@exclude_nodes_dont_appear_in_hierarchy_graph
January 17, 2025 05:29 4m 40s
refactor: Don't use sed in coq2html binary Builds, tests & co #51: Pull request #72 synchronize by yoshihiro503
January 17, 2025 02:48 4m 47s yoshihiro503:yoshihiro503@dont_use_sed
yoshihiro503:yoshihiro503@dont_use_sed
January 17, 2025 02:48 4m 47s
feat: make looks good for Hierarchy graphs Builds, tests & co #50: Pull request #74 opened by yoshihiro503
January 10, 2025 08:30 5m 34s yoshihiro503:yoshihiro503@grouped_hierarchy_graph
yoshihiro503:yoshihiro503@grouped_hierarchy_graph
January 10, 2025 08:30 5m 34s