Skip to content

Actions: agda/agda-stdlib

Actions

Check whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
whitespace.yml
1,182 workflow runs
1,182 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[ refactor ] (Re)define (Is)TightApartness and (Is)HeytingCommutativeRing/(Is)HeytingField Check whitespace #2902: Pull request #2588 synchronize by jamesmckinna
8s jamesmckinna:refactor-heyting
jamesmckinna:refactor-heyting
8s
[ refactor ] Revise definitions, consequences, and use, of Algebra.Definitions.(Almost)*Cancellative Check whitespace #2901: Pull request #2573 synchronize by jamesmckinna
9s jamesmckinna:issue1436
jamesmckinna:issue1436
9s
Added properties about DiffList in Data.DifferenceList.Properties Check whitespace #2900: Pull request #3043 synchronize by mikedelorimier
14s mikedelorimier:diff-list-rel
mikedelorimier:diff-list-rel
14s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2899: Pull request #3049 synchronize by silas-hw
13s silas-hw:optimise-ci
silas-hw:optimise-ci
13s
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences Check whitespace #2898: Pull request #2599 synchronize by jamesmckinna
8s jamesmckinna:issue2581
jamesmckinna:issue2581
8s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2897: Pull request #3049 synchronize by silas-hw
11s silas-hw:optimise-ci
silas-hw:optimise-ci
11s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2896: Pull request #3049 synchronize by silas-hw
10s silas-hw:optimise-ci
silas-hw:optimise-ci
10s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2895: Pull request #3049 synchronize by silas-hw
9s silas-hw:optimise-ci
silas-hw:optimise-ci
9s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2894: Pull request #3049 synchronize by silas-hw
8s silas-hw:optimise-ci
silas-hw:optimise-ci
8s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2893: Pull request #3049 synchronize by silas-hw
10s silas-hw:optimise-ci
silas-hw:optimise-ci
10s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2892: Pull request #3049 synchronize by silas-hw
8s silas-hw:optimise-ci
silas-hw:optimise-ci
8s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2891: Pull request #3049 synchronize by silas-hw
7s silas-hw:optimise-ci
silas-hw:optimise-ci
7s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2890: Pull request #3049 synchronize by silas-hw
55s silas-hw:optimise-ci
silas-hw:optimise-ci
55s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2889: Pull request #3049 synchronize by silas-hw
8s silas-hw:optimise-ci
silas-hw:optimise-ci
8s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2888: Pull request #3049 synchronize by silas-hw
9s silas-hw:optimise-ci
silas-hw:optimise-ci
9s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2887: Pull request #3049 synchronize by silas-hw
14s silas-hw:optimise-ci
silas-hw:optimise-ci
14s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2886: Pull request #3049 synchronize by silas-hw
12s silas-hw:optimise-ci
silas-hw:optimise-ci
12s
Added properties about DiffList in Data.DifferenceList.Properties Check whitespace #2885: Pull request #3043 synchronize by mikedelorimier
12s mikedelorimier:diff-list-rel
mikedelorimier:diff-list-rel
12s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2884: Pull request #3049 synchronize by silas-hw
31s silas-hw:optimise-ci
silas-hw:optimise-ci
31s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2883: Pull request #3049 synchronize by silas-hw
8s silas-hw:optimise-ci
silas-hw:optimise-ci
8s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2882: Pull request #3049 synchronize by silas-hw
9s silas-hw:optimise-ci
silas-hw:optimise-ci
9s
Split ci-ubuntu workflow into multiple jobs Check whitespace #2881: Pull request #3049 opened by silas-hw
13s silas-hw:optimise-ci
silas-hw:optimise-ci
13s
[ new ] un-deprecate _≈?_ Check whitespace #2880: Pull request #3048 opened by gallais
13s gallais:char-eq-refactor
gallais:char-eq-refactor
13s
[ refactor ] Exchange components of `Relation.Binary.Definitions._Res… Check whitespace #2879: Commit d79b146 pushed by github-merge-queue Bot
9s master
master
9s
Check whitespace Check whitespace #2878: Merge group checks requested
11s
11s