Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: L-TChen/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] rename ∣∣ to ∥, ∤∤ to ∦ throughout `Algebra.Defi… Haskell-CI #5: Commit 0cccb39 pushed by L-TChen
3m 29s master
master
3m 29s
[ refactor ] rename ∣∣ to ∥, ∤∤ to ∦ throughout `Algebra.Defi… Check whitespace #2: Commit 0cccb39 pushed by L-TChen
18s master
master
18s
[ refactor ] rename ∣∣ to ∥, ∤∤ to ∦ throughout `Algebra.Defi… Ubuntu build #5: Commit 0cccb39 pushed by L-TChen
51m 10s master
master
51m 10s
[DRY] refactor #2479 (#2485) Check whitespace #1: Commit 7e94c15 pushed by L-TChen
20s master
master
20s
[DRY] refactor #2479 (#2485) Ubuntu build #4: Commit 7e94c15 pushed by L-TChen
52m 2s master
master
52m 2s
[DRY] refactor #2479 (#2485) Haskell-CI #4: Commit 7e94c15 pushed by L-TChen
3m 26s master
master
3m 26s