Skip to content

Actions: JobPetrovcic/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
221 workflow runs
221 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
testing .cabal change Build (cabal) #3: Commit b1eb385 pushed by JobPetrovcic
April 6, 2024 06:56 2m 11s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 06:56 2m 11s
testing .cabal change Build (stack) #3: Commit b1eb385 pushed by JobPetrovcic
April 6, 2024 06:56 2m 49s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 06:56 2m 49s
testing .cabal change Stack check snapshots #3: Commit b1eb385 pushed by JobPetrovcic
April 6, 2024 06:56 3m 33s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 06:56 3m 33s
testing .cabal change Install (v2-cabal) #3: Commit b1eb385 pushed by JobPetrovcic
April 6, 2024 06:56 27s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 06:56 27s
testing .cabal change Haddock #3: Commit b1eb385 pushed by JobPetrovcic
April 6, 2024 06:56 20s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 06:56 20s
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
Use name ids to make sure names are unique. Haddock #2: Commit 833b4be pushed by JobPetrovcic
April 5, 2024 19:20 43s release-2.6.3-sexp
release-2.6.3-sexp
April 5, 2024 19:20 43s
Use name ids to make sure names are unique. Build (cabal) #2: Commit 833b4be pushed by JobPetrovcic
April 5, 2024 19:20 9m 25s release-2.6.3-sexp
release-2.6.3-sexp
April 5, 2024 19:20 9m 25s
Use name ids to make sure names are unique. Stack check snapshots #2: Commit 833b4be pushed by JobPetrovcic
April 5, 2024 19:20 4m 16s release-2.6.3-sexp
release-2.6.3-sexp
April 5, 2024 19:20 4m 16s
Use name ids to make sure names are unique. Build, Test, and Benchmark #2: Commit 833b4be pushed by JobPetrovcic
April 5, 2024 19:20 3m 30s release-2.6.3-sexp
release-2.6.3-sexp
April 5, 2024 19:20 3m 30s
Use name ids to make sure names are unique. Build (stack) #2: Commit 833b4be pushed by JobPetrovcic
April 5, 2024 19:20 5m 7s release-2.6.3-sexp
release-2.6.3-sexp
April 5, 2024 19:20 5m 7s
Use name ids to make sure names are unique. Install (v2-cabal) #2: Commit 833b4be pushed by JobPetrovcic
April 5, 2024 19:20 1m 11s release-2.6.3-sexp
release-2.6.3-sexp
April 5, 2024 19:20 1m 11s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… Build (cabal) #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 8m 14s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 8m 14s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… User Manual #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 2m 42s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 2m 42s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… Install (v2-cabal) #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 55s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 55s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… Haddock #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 50s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 50s
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
Merge remote-tracking branch 'agda-original/master' into release-2.6.… Build, Test, and Benchmark #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 3m 35s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 3m 35s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… Stack check snapshots #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 3m 39s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 3m 39s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… Build (stack) #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 21m 26s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 21m 26s