Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
709 workflow runs
709 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add invIsoOver. (#992) Ubuntu build #1970: Commit 0565ad8 pushed by felixwellen
June 1, 2023 12:57 4m 26s master
master
June 1, 2023 12:57 4m 26s
pages build and deployment pages-build-deployment #208: by github-pages bot
June 1, 2023 12:57 1m 11s
June 1, 2023 12:57 1m 11s
Add isPropIsEquivOver. (#993) Ubuntu build #1969: Commit 6a24ae4 pushed by felixwellen
June 1, 2023 12:53 4m 19s master
master
June 1, 2023 12:53 4m 19s
Add isPropIsEquivOver. (#993) .github/workflows/ci-nix.yml #43: Commit 6a24ae4 pushed by felixwellen
June 1, 2023 12:53 1h 18m 55s master
master
June 1, 2023 12:53 1h 18m 55s
pages build and deployment pages-build-deployment #207: by github-pages bot
June 1, 2023 10:45 1m 6s
June 1, 2023 10:45 1m 6s
add Bool.elim (#996) .github/workflows/ci-nix.yml #42: Commit f406132 pushed by felixwellen
June 1, 2023 10:15 1h 36m 45s master
master
June 1, 2023 10:15 1h 36m 45s
add Bool.elim (#996) Ubuntu build #1968: Commit f406132 pushed by felixwellen
June 1, 2023 10:15 30m 13s master
master
June 1, 2023 10:15 30m 13s
Self contained version of the new Brunerie number Ubuntu build #1967: Pull request #853 synchronize by mortberg
May 26, 2023 16:47 2m 31s mortberg:selfcontainedbrunerie
mortberg:selfcontainedbrunerie
May 26, 2023 16:47 2m 31s
pages build and deployment pages-build-deployment #206: by github-pages bot
May 26, 2023 11:11 59s
May 26, 2023 11:11 59s
agda/agda#6663: Fix fst f → fst g in HopfInvariant .github/workflows/ci-nix.yml #41: Commit 3007526 pushed by plt-amy
May 26, 2023 10:36 1h 49m 16s master
master
May 26, 2023 10:36 1h 49m 16s
agda/agda#6663: Fix fst f → fst g in HopfInvariant Ubuntu build #1966: Commit 3007526 pushed by plt-amy
May 26, 2023 10:36 34m 39s master
master
May 26, 2023 10:36 34m 39s
agda/agda#6663: Fix fst f → fst g in HopfInvariant Ubuntu build #1965: Pull request #1006 opened by plt-amy
May 26, 2023 06:42 38m 51s aliao/issue-6663
aliao/issue-6663
May 26, 2023 06:42 38m 51s
Representable Presheaves, Free Category, Functor and Associated solvers Ubuntu build #1964: Pull request #988 synchronize by maxsnew
May 21, 2023 20:34 35m 53s maxsnew:representable
maxsnew:representable
May 21, 2023 20:34 35m 53s
Representable Presheaves, Free Category, Functor and Associated solvers Ubuntu build #1963: Pull request #988 synchronize by maxsnew
May 21, 2023 20:30 2m 19s maxsnew:representable
maxsnew:representable
May 21, 2023 20:30 2m 19s
Representable Presheaves, Free Category, Functor and Associated solvers Ubuntu build #1962: Pull request #988 synchronize by maxsnew
May 21, 2023 20:22 2m 25s maxsnew:representable
maxsnew:representable
May 21, 2023 20:22 2m 25s
Representable Presheaves, Free Category, Functor and Associated solvers Ubuntu build #1961: Pull request #988 synchronize by maxsnew
May 21, 2023 20:07 3m 4s maxsnew:representable
maxsnew:representable
May 21, 2023 20:07 3m 4s
Representable Presheaves, Free Category, Functor and Associated solvers Ubuntu build #1960: Pull request #988 synchronize by maxsnew
May 21, 2023 20:04 3m 17s maxsnew:representable
maxsnew:representable
May 21, 2023 20:04 3m 17s
Remove mentions of the Id type Ubuntu build #1959: Pull request #1005 opened by plt-amy
May 15, 2023 11:33 47m 6s aliao/remove-cubical-id
aliao/remove-cubical-id
May 15, 2023 11:33 47m 6s
Less eta-equality for algebraic structures Ubuntu build #1958: Pull request #1002 synchronize by felixwellen
May 12, 2023 12:32 27m 28s felixwellen:less-eta
felixwellen:less-eta
May 12, 2023 12:32 27m 28s
Self contained version of the new Brunerie number Ubuntu build #1957: Pull request #853 synchronize by mortberg
May 10, 2023 13:55 3m 16s mortberg:selfcontainedbrunerie
mortberg:selfcontainedbrunerie
May 10, 2023 13:55 3m 16s
Self contained version of the new Brunerie number Ubuntu build #1956: Pull request #853 synchronize by mortberg
May 8, 2023 13:00 2m 49s mortberg:selfcontainedbrunerie
mortberg:selfcontainedbrunerie
May 8, 2023 13:00 2m 49s
Self contained version of the new Brunerie number Ubuntu build #1955: Pull request #853 synchronize by mortberg
May 8, 2023 12:58 2m 44s mortberg:selfcontainedbrunerie
mortberg:selfcontainedbrunerie
May 8, 2023 12:58 2m 44s
Self contained version of the new Brunerie number Ubuntu build #1954: Pull request #853 synchronize by mortberg
May 5, 2023 15:00 2m 50s mortberg:selfcontainedbrunerie
mortberg:selfcontainedbrunerie
May 5, 2023 15:00 2m 50s
Self contained version of the new Brunerie number Ubuntu build #1953: Pull request #853 synchronize by mortberg
May 5, 2023 14:20 2m 40s mortberg:selfcontainedbrunerie
mortberg:selfcontainedbrunerie
May 5, 2023 14:20 2m 40s
Self contained version of the new Brunerie number Ubuntu build #1952: Pull request #853 synchronize by mortberg
May 5, 2023 13:44 5m 7s mortberg:selfcontainedbrunerie
mortberg:selfcontainedbrunerie
May 5, 2023 13:44 5m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-05-05 or the other filters available.