Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow run results
12 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "change definition of function sets equality to not build-in c… Ubuntu build #377: Commit c9a31ec pushed by JacquesCarette
December 28, 2023 22:10 1m 30s master
master
December 28, 2023 22:10 1m 30s
change definition of function sets equality to not build-in cong ( Ubuntu build #376: Pull request #407 opened by JacquesCarette
December 28, 2023 22:09 10m 50s change-function-setoid
change-function-setoid
December 28, 2023 22:09 10m 50s
pages build and deployment pages-build-deployment #38: by github-pages bot
December 26, 2023 01:27 52s gh-pages
gh-pages
December 26, 2023 01:27 52s
Merge pull request #406 from agda/bump-stdlib-2.0 Ubuntu build #375: Commit aee4189 pushed by JacquesCarette
December 26, 2023 00:49 38m 34s master
master
December 26, 2023 00:49 38m 34s
Bump stdlib to 2.0 Ubuntu build #374: Pull request #406 synchronize by JacquesCarette
December 25, 2023 19:51 15m 10s bump-stdlib-2.0
bump-stdlib-2.0
December 25, 2023 19:51 15m 10s
Bump stdlib to 2.0 Ubuntu build #373: Pull request #406 synchronize by JacquesCarette
December 25, 2023 16:47 15m 38s bump-stdlib-2.0
bump-stdlib-2.0
December 25, 2023 16:47 15m 38s
Bump stdlib to 2.0 Ubuntu build #372: Pull request #406 synchronize by JacquesCarette
December 22, 2023 04:02 38m 0s bump-stdlib-2.0
bump-stdlib-2.0
December 22, 2023 04:02 38m 0s
Bump stdlib to 2.0 Ubuntu build #371: Pull request #406 synchronize by JacquesCarette
December 22, 2023 00:50 32m 34s bump-stdlib-2.0
bump-stdlib-2.0
December 22, 2023 00:50 32m 34s
Bump stdlib to 2.0 Ubuntu build #370: Pull request #406 synchronize by JacquesCarette
December 22, 2023 00:48 21m 16s bump-stdlib-2.0
bump-stdlib-2.0
December 22, 2023 00:48 21m 16s
Bump stdlib to 2.0 Ubuntu build #369: Pull request #406 synchronize by JacquesCarette
December 21, 2023 20:22 20m 19s bump-stdlib-2.0
bump-stdlib-2.0
December 21, 2023 20:22 20m 19s
Bump stdlib to 2.0 Ubuntu build #368: Pull request #406 synchronize by JacquesCarette
December 21, 2023 19:56 20m 43s bump-stdlib-2.0
bump-stdlib-2.0
December 21, 2023 19:56 20m 43s
Bump stdlib to 2.0 Ubuntu build #367: Pull request #406 synchronize by JacquesCarette
December 21, 2023 03:47 23s bump-stdlib-2.0
bump-stdlib-2.0
December 21, 2023 03:47 23s