Skip to content

Actions: toku-sa-n/coqfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,036 workflow run results
1,036 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Insert a new line before a new Example Test #990: Pull request #97 synchronize by toku-sa-n
August 12, 2023 23:49 24m 22s empty-line-before-example
empty-line-before-example
August 12, 2023 23:49 24m 22s
Insert a new line before a new Example Test #989: Pull request #97 synchronize by toku-sa-n
August 12, 2023 23:47 29m 25s empty-line-before-example
empty-line-before-example
August 12, 2023 23:47 29m 25s
Insert a new line before a new Example Test #988: Pull request #97 opened by toku-sa-n
August 12, 2023 23:44 34m 4s empty-line-before-example
empty-line-before-example
August 12, 2023 23:44 34m 4s
Pp intros without parameters (#96) Test #987: Commit f0f30b8 pushed by toku-sa-n
August 12, 2023 14:26 24m 15s main
main
August 12, 2023 14:26 24m 15s
Pp intros without parameters Test #986: Pull request #96 synchronize by toku-sa-n
August 12, 2023 13:58 28m 5s intros-no-params
intros-no-params
August 12, 2023 13:58 28m 5s
Pp intros without parameters Test #985: Pull request #96 synchronize by toku-sa-n
August 12, 2023 13:52 23m 14s intros-no-params
intros-no-params
August 12, 2023 13:52 23m 14s
Pp asterisk bullets (#95) Test #984: Commit 2f7c616 pushed by toku-sa-n
August 12, 2023 13:50 22m 46s main
main
August 12, 2023 13:50 22m 46s
Pp intros without parameters Test #983: Pull request #96 opened by toku-sa-n
August 12, 2023 13:49 27m 12s intros-no-params
intros-no-params
August 12, 2023 13:49 27m 12s
Pp asterisk bullets Test #982: Pull request #95 synchronize by toku-sa-n
August 12, 2023 13:27 22m 16s asterisk-bullets
asterisk-bullets
August 12, 2023 13:27 22m 16s
Pp asterisk bullets Test #981: Pull request #95 opened by toku-sa-n
August 12, 2023 13:27 23m 3s asterisk-bullets
asterisk-bullets
August 12, 2023 13:27 23m 3s
Pp a match with or-patterns in a tuple (#94) Test #980: Commit f78a7fb pushed by toku-sa-n
August 12, 2023 13:23 24m 0s main
main
August 12, 2023 13:23 24m 0s
Pp a match with or-patterns in a tuple Test #979: Pull request #94 synchronize by toku-sa-n
August 12, 2023 12:59 23m 53s match-or-in-tuple
match-or-in-tuple
August 12, 2023 12:59 23m 53s
Pp a match with or-patterns in a tuple Test #978: Pull request #94 synchronize by toku-sa-n
August 12, 2023 12:57 23m 12s match-or-in-tuple
match-or-in-tuple
August 12, 2023 12:57 23m 12s
Pp a match with or-patterns in a tuple Test #977: Pull request #94 synchronize by toku-sa-n
August 12, 2023 12:57 24m 11s match-or-in-tuple
match-or-in-tuple
August 12, 2023 12:57 24m 11s
Pp a match with or-patterns in a tuple Test #976: Pull request #94 synchronize by toku-sa-n
August 12, 2023 12:42 20m 2s match-or-in-tuple
match-or-in-tuple
August 12, 2023 12:42 20m 2s
Pp a match with or-patterns in a tuple Test #975: Pull request #94 opened by toku-sa-n
August 12, 2023 12:42 23m 10s match-or-in-tuple
match-or-in-tuple
August 12, 2023 12:42 23m 10s
Pp matches with or-patterns (#93) Test #974: Commit f0f0aa5 pushed by toku-sa-n
August 12, 2023 12:32 24m 25s main
main
August 12, 2023 12:32 24m 25s
Pp matches with or-patterns Test #973: Pull request #93 synchronize by toku-sa-n
August 12, 2023 12:09 22m 24s match-with-bars
match-with-bars
August 12, 2023 12:09 22m 24s
Pp matches with or-patterns Test #972: Pull request #93 opened by toku-sa-n
August 12, 2023 12:03 23m 10s match-with-bars
match-with-bars
August 12, 2023 12:03 23m 10s
Fix Test #971: Commit 8502a14 pushed by toku-sa-n
August 12, 2023 11:58 22m 31s match-against-constructor-with-multiple-values
match-against-constructor-with-multiple-values
August 12, 2023 11:58 22m 31s
Add a test Test #970: Commit ca2ae67 pushed by toku-sa-n
August 12, 2023 11:41 19m 46s match-against-constructor-with-multiple-values
match-against-constructor-with-multiple-values
August 12, 2023 11:41 19m 46s
Pp intros with destructing (#90) Test #969: Commit ae65e54 pushed by toku-sa-n
August 12, 2023 08:55 26m 59s main
main
August 12, 2023 08:55 26m 59s
Pp intros with destructing Test #968: Pull request #90 synchronize by toku-sa-n
August 12, 2023 08:31 23m 19s intros-with-destructing
intros-with-destructing
August 12, 2023 08:31 23m 19s
Run CI only on PR and pushing to main (#91) Test #967: Commit 7e18339 pushed by toku-sa-n
August 12, 2023 08:31 23m 3s main
main
August 12, 2023 08:31 23m 3s
Run CI only on PR and pushing to main Test #966: Pull request #91 opened by toku-sa-n
August 12, 2023 07:17 1h 13m 25s ci-pr-and-push-to-main
ci-pr-and-push-to-main
August 12, 2023 07:17 1h 13m 25s