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

Add support for Require commands Test #1044: Pull request #113 synchronize by BridgeTheMasterBuilder
August 14, 2023 18:49 23m 30s BridgeTheMasterBuilder:main
BridgeTheMasterBuilder:main
August 14, 2023 18:49 23m 30s
Pp an Inductive of Set (#112) Test #1039: Commit 7e8bd66 pushed by toku-sa-n
August 14, 2023 14:35 24m 1s main
main
August 14, 2023 14:35 24m 1s
Pp an Inductive of Set Test #1038: Pull request #112 synchronize by toku-sa-n
August 14, 2023 13:51 43m 42s inductive-set
inductive-set
August 14, 2023 13:51 43m 42s
Pp an Inductive of Set Test #1037: Pull request #112 synchronize by toku-sa-n
August 14, 2023 13:51 42m 13s inductive-set
inductive-set
August 14, 2023 13:51 42m 13s
Pp an Inductive of Set Test #1036: Pull request #112 synchronize by toku-sa-n
August 14, 2023 13:51 56m 5s inductive-set
inductive-set
August 14, 2023 13:51 56m 5s
Pp an Inductive of Set Test #1035: Pull request #112 synchronize by toku-sa-n
August 14, 2023 13:49 42m 7s inductive-set
inductive-set
August 14, 2023 13:49 42m 7s
Pp an Inductive of Set Test #1034: Pull request #112 synchronize by toku-sa-n
August 14, 2023 13:49 24m 32s inductive-set
inductive-set
August 14, 2023 13:49 24m 32s
Pp an Inductive of Set Test #1033: Pull request #112 synchronize by toku-sa-n
August 14, 2023 13:48 23m 44s inductive-set
inductive-set
August 14, 2023 13:48 23m 44s
Pp an Inductive of Set Test #1032: Pull request #112 synchronize by toku-sa-n
August 14, 2023 13:47 31m 42s inductive-set
inductive-set
August 14, 2023 13:47 31m 42s
Pp a forall parameter enclosed by parentheses (#110) Test #1031: Commit c77440b pushed by toku-sa-n
August 14, 2023 13:46 34m 38s main
main
August 14, 2023 13:46 34m 38s
Pp an Inductive of Set Test #1030: Pull request #112 opened by toku-sa-n
August 14, 2023 13:41 23m 49s inductive-set
inductive-set
August 14, 2023 13:41 23m 49s
Pp a forall parameter enclosed by parentheses Test #1029: Pull request #110 synchronize by toku-sa-n
August 14, 2023 13:11 35m 34s panenthesed-forall-param
panenthesed-forall-param
August 14, 2023 13:11 35m 34s
Pp a forall parameter enclosed by parentheses Test #1028: Pull request #110 synchronize by toku-sa-n
August 14, 2023 13:03 27m 44s panenthesed-forall-param
panenthesed-forall-param
August 14, 2023 13:03 27m 44s
Pp a forall parameter enclosed by parentheses Test #1027: Pull request #110 opened by toku-sa-n
August 13, 2023 23:07 22m 35s panenthesed-forall-param
panenthesed-forall-param
August 13, 2023 23:07 22m 35s
Pp nested function callings (#109) Test #1026: Commit 300bfc7 pushed by toku-sa-n
August 13, 2023 15:12 21m 19s main
main
August 13, 2023 15:12 21m 19s
Pp nested function callings Test #1025: Pull request #109 synchronize by toku-sa-n
August 13, 2023 14:19 24m 38s nested-function-calling
nested-function-calling
August 13, 2023 14:19 24m 38s
Pp nested function callings Test #1024: Pull request #109 opened by toku-sa-n
August 13, 2023 14:11 23m 4s nested-function-calling
nested-function-calling
August 13, 2023 14:11 23m 4s
Pp a Fixpoint with multiple parameters (#108) Test #1023: Commit 034a8ad pushed by toku-sa-n
August 13, 2023 13:57 23m 23s main
main
August 13, 2023 13:57 23m 23s
Pp a Fixpoint with multiple parameters Test #1022: Pull request #108 synchronize by toku-sa-n
August 13, 2023 13:33 23m 59s fixpoint-multiple-parameters
fixpoint-multiple-parameters
August 13, 2023 13:33 23m 59s
Pp a Fixpoint with multiple parameters Test #1021: Pull request #108 synchronize by toku-sa-n
August 13, 2023 13:32 26m 29s fixpoint-multiple-parameters
fixpoint-multiple-parameters
August 13, 2023 13:32 26m 29s
Pp a Fixpoint with multiple parameters Test #1020: Pull request #108 opened by toku-sa-n
August 13, 2023 13:30 23m 23s fixpoint-multiple-parameters
fixpoint-multiple-parameters
August 13, 2023 13:30 23m 23s
Pp a match having a branch matching against a nested data (#107) Test #1019: Commit 3baa5ea pushed by toku-sa-n
August 13, 2023 12:46 22m 44s main
main
August 13, 2023 12:46 22m 44s
Pp a match having a branch matching against a nested data Test #1018: Pull request #107 synchronize by toku-sa-n
August 13, 2023 12:21 24m 4s match-against-nested-data
match-against-nested-data
August 13, 2023 12:21 24m 4s
Pp a match having a branch matching against a nested data Test #1017: Pull request #107 synchronize by toku-sa-n
August 13, 2023 12:20 21m 28s match-against-nested-data
match-against-nested-data
August 13, 2023 12:20 21m 28s
Pp a match having a branch matching against a nested data Test #1016: Pull request #107 opened by toku-sa-n
August 13, 2023 07:28 24m 24s match-against-nested-data
match-against-nested-data
August 13, 2023 07:28 24m 24s