Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
495 workflow runs
495 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #102: by github-pages bot
March 11, 2025 11:52 27s gh-pages
gh-pages
March 11, 2025 11:52 27s
[ re-fix #399 ] CI: deploy on master only Docs #176: Commit fb6af0d pushed by omelkonian
March 11, 2025 11:52 27s master
master
March 11, 2025 11:52 27s
[ re-fix #399 ] CI: deploy on master only CI #767: Commit fb6af0d pushed by omelkonian
March 11, 2025 11:52 3m 51s master
master
March 11, 2025 11:52 3m 51s
[ re-fix #399 ] CI: deploy on master only Nix CI #172: Commit fb6af0d pushed by omelkonian
March 11, 2025 11:52 2m 22s master
master
March 11, 2025 11:52 2m 22s
[ re-fix #399 ] CI: deploy on master only CI #766: Pull request #403 opened by omelkonian
March 11, 2025 11:48 4m 1s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:48 4m 1s
[ re-fix #399 ] CI: deploy on master only Nix CI #171: Pull request #403 opened by omelkonian
March 11, 2025 11:48 2m 17s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:48 2m 17s
pages build and deployment pages-build-deployment #101: by github-pages bot
March 11, 2025 11:31 29s gh-pages
gh-pages
March 11, 2025 11:31 29s
Merge pull request #402 from agda/orestis/fix-web-lib-test CI #765: Commit 16ae2bd pushed by omelkonian
March 11, 2025 11:24 7m 29s master
master
March 11, 2025 11:24 7m 29s
Merge pull request #402 from agda/orestis/fix-web-lib-test Nix CI #170: Commit 16ae2bd pushed by omelkonian
March 11, 2025 11:24 8m 2s master
master
March 11, 2025 11:24 8m 2s
Merge pull request #402 from agda/orestis/fix-web-lib-test Docs #175: Commit 16ae2bd pushed by omelkonian
March 11, 2025 11:24 4m 26s master
master
March 11, 2025 11:24 4m 26s
[hotfix] CI: valid YML syntax CI #764: Pull request #402 opened by omelkonian
March 11, 2025 11:24 3m 14s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:24 3m 14s
[hotfix] CI: valid YML syntax Nix CI #169: Pull request #402 opened by omelkonian
March 11, 2025 11:24 5m 42s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:24 5m 42s
Merge pull request #401 from agda/orestis/fix-web-lib-test Docs #174: Commit a3400f3 pushed by omelkonian
March 11, 2025 11:23 30s master
master
March 11, 2025 11:23 30s
Merge pull request #401 from agda/orestis/fix-web-lib-test CI #763: Commit a3400f3 pushed by omelkonian
March 11, 2025 11:23 1s master
master
March 11, 2025 11:23 1s
Merge pull request #401 from agda/orestis/fix-web-lib-test Nix CI #168: Commit a3400f3 pushed by omelkonian
March 11, 2025 11:23 3m 8s master
master
March 11, 2025 11:23 3m 8s
[hotfix] CI: valid YML syntax Nix CI #167: Pull request #401 opened by omelkonian
March 11, 2025 11:22 3m 16s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:22 3m 16s
[hotfix] CI: valid YML syntax CI #762: Pull request #401 opened by omelkonian
March 11, 2025 11:22 1s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:22 1s
Merge pull request #400 from agda/orestis/fix-web-lib-test CI #761: Commit 562ce53 pushed by omelkonian
March 11, 2025 11:20 1s master
master
March 11, 2025 11:20 1s
Merge pull request #400 from agda/orestis/fix-web-lib-test Nix CI #166: Commit 562ce53 pushed by omelkonian
March 11, 2025 11:20 2m 39s master
master
March 11, 2025 11:20 2m 39s
Merge pull request #400 from agda/orestis/fix-web-lib-test Docs #173: Commit 562ce53 pushed by omelkonian
March 11, 2025 11:20 32s master
master
March 11, 2025 11:20 32s
[ fix #399 ] Docs: fix deploy from CI CI #760: Pull request #400 opened by omelkonian
March 11, 2025 11:14 1s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:14 1s
[ fix #399 ] Docs: fix deploy from CI Nix CI #165: Pull request #400 opened by omelkonian
March 11, 2025 11:14 2m 27s orestis/fix-web-lib-test
orestis/fix-web-lib-test
March 11, 2025 11:14 2m 27s
Prove properties about nub CI #759: Commit 4a52e34 pushed by omelkonian
March 10, 2025 18:07 3m 34s master
master
March 10, 2025 18:07 3m 34s
Prove properties about nub Docs #172: Commit 4a52e34 pushed by omelkonian
March 10, 2025 18:07 36s master
master
March 10, 2025 18:07 36s
Prove properties about nub Nix CI #164: Commit 4a52e34 pushed by omelkonian
March 10, 2025 18:07 2m 10s master
master
March 10, 2025 18:07 2m 10s