Skip to content

Actions: hyperpolymath/echo-types

Actions

Agda

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yml
898 workflow runs
898 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(deps): bump github/codeql-action from 4.37.3 to 4.37.6 in the a… Agda #898: Commit baebe0c pushed by hyperpolymath
12m 27s main
main
12m 27s
chore(deps): bump github/codeql-action from 4.37.3 to 4.37.6 in the actions group Agda #897: Pull request #302 opened by dependabot Bot
12m 22s dependabot/github_actions/actions-24edcfd16d
dependabot/github_actions/actions-24edcfd16d
12m 22s
chore(ci): SPDX headers on line 1 and Actions lockfile minted (#301) Agda #896: Commit 36fe495 pushed by hyperpolymath
20m 1s main
main
20m 1s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Agda #895: Pull request #301 synchronize by hyperpolymath
19m 37s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
19m 37s
chore(ci): make Scorecard periodic, not per-push (#300) Agda #894: Commit 7be72ef pushed by hyperpolymath
-1s main
main
-1s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Agda #893: Pull request #301 synchronize by hyperpolymath
13m 9s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
13m 9s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Agda #892: Pull request #301 opened by hyperpolymath
12m 54s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
12m 54s
Agda Agda #891: opened by hyperpolymath
Startup failure chore/scorecard-periodic
chore/scorecard-periodic
Startup failure
Agda Agda #890: opened by hyperpolymath
Startup failure chore/estate-topup
chore/estate-topup
Startup failure
chore(deps): bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f… Agda #889: Commit 900546a pushed by hyperpolymath
12m 10s main
main
12m 10s
chore(deps): bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the actions group Agda #888: Pull request #298 opened by dependabot Bot
10m 20s dependabot/github_actions/actions-21c3c7556b
dependabot/github_actions/actions-21c3c7556b
10m 20s
chore(deps): bump the actions group with 7 updates (#297) Agda #887: Commit 726e0d2 pushed by hyperpolymath
9m 51s main
main
9m 51s
chore(deps): bump the actions group with 7 updates Agda #886: Pull request #297 opened by dependabot Bot
12m 17s dependabot/github_actions/actions-c3601978b4
dependabot/github_actions/actions-c3601978b4
12m 17s
fix(ci): estate-wide foundational remediation (#296) Agda #885: Commit 85dbf62 pushed by hyperpolymath
43m 55s main
main
43m 55s
fix(ci): estate-wide foundational remediation Agda #884: Pull request #296 synchronize by hyperpolymath
43m 44s fix-ci-estate
fix-ci-estate
43m 44s
fix(ci): estate-wide foundational remediation Agda #883: Pull request #296 opened by hyperpolymath
8m 8s fix-ci-estate
fix-ci-estate
8m 8s
Sync local commits to main (#295) Agda #882: Commit 01a861d pushed by hyperpolymath
12m 4s main
main
12m 4s
Sync local commits to main Agda #881: Pull request #295 opened by hyperpolymath
30m 21s sync-local-updates-1784829798
sync-local-updates-1784829798
30m 21s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Agda #880: Commit c5484c0 pushed by hyperpolymath
2h 33m 23s main
main
2h 33m 23s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Agda #879: Pull request #294 opened by hyperpolymath
25m 0s fix/governance-gate-sweep
fix/governance-gate-sweep
25m 0s
ci: deploy docs via Ddraig SSG (#293) Agda #878: Commit facc9be pushed by hyperpolymath
44m 33s main
main
44m 33s
ci: deploy docs via Ddraig SSG Agda #877: Pull request #293 opened by hyperpolymath
38m 23s feat/ddraig-pages-mass
feat/ddraig-pages-mass
38m 23s
chore(deps): bump the actions group with 3 updates (#292) Agda #876: Commit b1be92c pushed by hyperpolymath
12m 8s main
main
12m 8s
chore(deps): bump the actions group with 3 updates Agda #875: Pull request #292 opened by dependabot Bot
13m 15s dependabot/github_actions/actions-3d2ef569ae
dependabot/github_actions/actions-3d2ef569ae
13m 15s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… Agda #874: Commit 387158b pushed by hyperpolymath
23m 38s main
main
23m 38s