Skip to content

Actions: math-comp/mcb

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #155 from evnor/spelling build #48: Commit 2460ef4 pushed by gares
November 14, 2023 20:20 2m 21s master
master
November 14, 2023 20:20 2m 21s
Fix typo build #47: Pull request #155 opened by evnor
November 14, 2023 14:08 2m 56s evnor:spelling
evnor:spelling
November 14, 2023 14:08 2m 56s
Merge pull request #154 from ju-sh/patch-3 build #46: Commit 691efc3 pushed by gares
October 27, 2023 21:46 3m 42s master
master
October 27, 2023 21:46 3m 42s
Fix typo in name build #45: Pull request #154 opened by ju-sh
October 27, 2023 17:56 3m 52s ju-sh:patch-3
ju-sh:patch-3
October 27, 2023 17:56 3m 52s
Merge pull request #153 from ju-sh/patch-2 build #44: Commit 27290aa pushed by gares
October 19, 2023 14:58 3m 21s master
master
October 19, 2023 14:58 3m 21s
Fix typo build #43: Pull request #153 opened by ju-sh
October 19, 2023 09:14 5m 51s ju-sh:patch-2
ju-sh:patch-2
October 19, 2023 09:14 5m 51s
Merge pull request #152 from ju-sh/patch-1 build #42: Commit 327d876 pushed by gares
September 26, 2023 06:48 3m 15s master
master
September 26, 2023 06:48 3m 15s
Fix a typo build #41: Pull request #152 opened by ju-sh
September 25, 2023 18:06 3m 53s ju-sh:patch-1
ju-sh:patch-1
September 25, 2023 18:06 3m 53s
Merge pull request #151 from ligurio/ligurio/fix-typos build #40: Commit 08b61d9 pushed by gares
July 6, 2023 12:19 3m 51s master
master
July 6, 2023 12:19 3m 51s
Fix typos build #39: Pull request #151 opened by ligurio
July 6, 2023 10:09 3m 41s ligurio/fix-typos
ligurio/fix-typos
July 6, 2023 10:09 3m 41s
Merge pull request #150 from yoshihiro503/yoshihiro503@coqtokyo-corre… build #38: Commit 2438979 pushed by gares
June 27, 2023 20:38 3m 55s master
master
June 27, 2023 20:38 3m 55s
fix: ✏️ correct a typo found in our study group CoqTokyo. build #37: Pull request #150 opened by yoshihiro503
June 27, 2023 10:31 4m 8s yoshihiro503:[email protected]
yoshihiro503:[email protected]
June 27, 2023 10:31 4m 8s