Skip to content

Actions: JobPetrovcic/agda

Actions

Whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
whitespace.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bugfix Whitespace #4: Commit 41e30e5 pushed by JobPetrovcic
April 6, 2024 07:08 21s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 07:08 21s
testing .cabal change Whitespace #3: Commit b1eb385 pushed by JobPetrovcic
April 6, 2024 06:56 19s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 06:56 19s
Use name ids to make sure names are unique. Whitespace #2: Commit 833b4be pushed by JobPetrovcic
April 5, 2024 19:20 36s release-2.6.3-sexp
release-2.6.3-sexp
April 5, 2024 19:20 36s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… Whitespace #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 29s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 29s