Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
560 workflow runs
560 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release v0.6 for agda 2.6.4 Ubuntu build #2203: Pull request #1050 synchronize by felixwellen
October 10, 2023 08:30 58m 24s fwellen/check-with-current-agda
fwellen/check-with-current-agda
October 10, 2023 08:30 58m 24s
Release v0.6 for agda 2.6.4 .github/workflows/ci-nix.yml #93: Pull request #1050 synchronize by felixwellen
October 10, 2023 08:29 1h 38m 23s fwellen/check-with-current-agda
fwellen/check-with-current-agda
October 10, 2023 08:29 1h 38m 23s
Release v0.6 for agda 2.6.4 Ubuntu build #2202: Pull request #1050 synchronize by felixwellen
October 10, 2023 08:29 55m 15s fwellen/check-with-current-agda
fwellen/check-with-current-agda
October 10, 2023 08:29 55m 15s
Release v0.6 for agda 2.6.4 Ubuntu build #2201: Pull request #1050 synchronize by felixwellen
October 10, 2023 08:16 2m 36s fwellen/check-with-current-agda
fwellen/check-with-current-agda
October 10, 2023 08:16 2m 36s
Category of groups, uniqness of adjunctions Ubuntu build #2200: Pull request #1065 opened by marcinjangrzybowski
October 7, 2023 04:47 5m 52s marcinjangrzybowski:uniq-left-adj
marcinjangrzybowski:uniq-left-adj
October 7, 2023 04:47 5m 52s
'congR' and 'congL' Ubuntu build #2199: Pull request #1064 opened by eqNat
October 7, 2023 01:47 36m 29s eqNat:leftRightCong
eqNat:leftRightCong
October 7, 2023 01:47 36m 29s
pages build and deployment pages-build-deployment #249: by github-pages bot
October 2, 2023 13:15 1m 14s gh-pages
gh-pages
October 2, 2023 13:15 1m 14s
more connectivity lemmas (#1063) .github/workflows/ci-nix.yml #92: Commit 5427228 pushed by mortberg
October 2, 2023 12:54 1h 37m 58s master
master
October 2, 2023 12:54 1h 37m 58s
more connectivity lemmas (#1063) Ubuntu build #2198: Commit 5427228 pushed by mortberg
October 2, 2023 12:54 21m 4s master
master
October 2, 2023 12:54 21m 4s
more connectivity lemmas Ubuntu build #2197: Pull request #1063 opened by rwbarton
September 30, 2023 18:43 20m 31s rwbarton:conn
rwbarton:conn
September 30, 2023 18:43 20m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-09-30 or the other filters available.