Skip to content

Actions: toku-sa-n/coqfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,020 workflow runs
3,020 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: disable CI on Windows temporarily (#520) Test #3161: Commit 0908d18 pushed by toku-sa-n
November 17, 2024 11:06 9m 14s main
main
November 17, 2024 11:06 9m 14s
ci: disable CI on Windows temporarily (#520) Deploy API docs #336: Commit 0908d18 pushed by toku-sa-n
November 17, 2024 11:06 5m 17s main
main
November 17, 2024 11:06 5m 17s
ci: disable CI on Windows temporarily Test #3160: Pull request #520 synchronize by toku-sa-n
November 17, 2024 10:57 9m 32s remove-windows-ci
remove-windows-ci
November 17, 2024 10:57 9m 32s
feat: read coqfmt command arguments from _CoqProject (#515) Deploy API docs #335: Commit 52b8f19 pushed by toku-sa-n
November 17, 2024 10:57 5m 40s main
main
November 17, 2024 10:57 5m 40s
feat: read coqfmt command arguments from _CoqProject (#515) Test #3159: Commit 52b8f19 pushed by toku-sa-n
November 17, 2024 10:57 6h 0m 12s main
main
November 17, 2024 10:57 6h 0m 12s
ci: disable CI on Windows temporarily Test #3158: Pull request #520 opened by toku-sa-n
November 17, 2024 10:56 9m 12s remove-windows-ci
remove-windows-ci
November 17, 2024 10:56 9m 12s
feat: read coqfmt command arguments from _CoqProject Test #3157: Pull request #515 synchronize by toku-sa-n
November 17, 2024 09:47 6h 0m 11s support-coqproject
support-coqproject
November 17, 2024 09:47 6h 0m 11s
feat: read coqfmt command arguments from _CoqProject Test #3156: Pull request #515 synchronize by toku-sa-n
November 17, 2024 09:41 6h 0m 11s support-coqproject
support-coqproject
November 17, 2024 09:41 6h 0m 11s
feat: read coqfmt command arguments from _CoqProject Test #3155: Pull request #515 synchronize by toku-sa-n
November 17, 2024 09:41 6h 0m 12s support-coqproject
support-coqproject
November 17, 2024 09:41 6h 0m 12s
feat: read coqfmt command arguments from _CoqProject Test #3154: Pull request #515 synchronize by toku-sa-n
November 13, 2024 00:18 9m 37s support-coqproject
support-coqproject
November 13, 2024 00:18 9m 37s
feat: read coqfmt command arguments from _CoqProject Test #3153: Pull request #515 synchronize by toku-sa-n
November 13, 2024 00:08 6h 0m 13s support-coqproject
support-coqproject
November 13, 2024 00:08 6h 0m 13s
feat: read coqfmt command arguments from _CoqProject Test #3152: Pull request #515 synchronize by toku-sa-n
November 13, 2024 00:07 6h 0m 13s support-coqproject
support-coqproject
November 13, 2024 00:07 6h 0m 13s
feat: read coqfmt command arguments from _CoqProject Test #3151: Pull request #515 synchronize by toku-sa-n
November 12, 2024 23:51 17m 21s support-coqproject
support-coqproject
November 12, 2024 23:51 17m 21s
feat!: switch to support Coq 8.20 (#517) Deploy API docs #334: Commit 1701706 pushed by toku-sa-n
November 12, 2024 23:50 9m 10s main
main
November 12, 2024 23:50 9m 10s
feat!: switch to support Coq 8.20 (#517) Test #3150: Commit 1701706 pushed by toku-sa-n
November 12, 2024 23:50 17m 51s main
main
November 12, 2024 23:50 17m 51s
feat!: switch to support Coq 8.20 Test #3149: Pull request #517 synchronize by toku-sa-n
November 12, 2024 23:30 20m 24s update-8.20
update-8.20
November 12, 2024 23:30 20m 24s
feat!: switch to support Coq 8.20 Test #3148: Pull request #517 synchronize by toku-sa-n
November 12, 2024 23:30 18m 40s update-8.20
update-8.20
November 12, 2024 23:30 18m 40s
feat!: switch to support Coq 8.20 Test #3147: Pull request #517 synchronize by toku-sa-n
November 12, 2024 23:29 16m 53s update-8.20
update-8.20
November 12, 2024 23:29 16m 53s
feat!: switch to support Coq 8.20 Test #3146: Pull request #517 synchronize by toku-sa-n
November 12, 2024 23:28 17m 56s update-8.20
update-8.20
November 12, 2024 23:28 17m 56s
feat!: switch to support Coq 8.20 Test #3145: Pull request #517 synchronize by toku-sa-n
November 12, 2024 23:26 17m 18s update-8.20
update-8.20
November 12, 2024 23:26 17m 18s
feat!: switch to support Coq 8.20 Test #3144: Pull request #517 synchronize by toku-sa-n
November 12, 2024 23:25 17m 18s update-8.20
update-8.20
November 12, 2024 23:25 17m 18s
feat!: switch to support Coq 8.20 Test #3143: Pull request #517 synchronize by toku-sa-n
November 12, 2024 23:25 17m 46s update-8.20
update-8.20
November 12, 2024 23:25 17m 46s
style: update ocamlformat to 0.26.2 (#518) Test #3142: Commit 34884c6 pushed by toku-sa-n
November 12, 2024 23:21 15m 23s main
main
November 12, 2024 23:21 15m 23s
style: update ocamlformat to 0.26.2 (#518) Deploy API docs #333: Commit 34884c6 pushed by toku-sa-n
November 12, 2024 23:21 5m 1s main
main
November 12, 2024 23:21 5m 1s
style: update ocamlformat to 0.26.2 Test #3141: Pull request #518 opened by toku-sa-n
November 12, 2024 23:05 16m 8s update-ocamlformat
update-ocamlformat
November 12, 2024 23:05 16m 8s