Skip to content

Actions: omelkonian/agda-stdlib-meta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
pages build and deployment pages-build-deployment #41: by github-pages bot
May 31, 2024 13:34 40s
May 31, 2024 13:34 40s
Upstream ByEq tactic CI #46: Commit e834cf7 pushed by WhatisRT
May 31, 2024 13:30 3m 48s master
master
May 31, 2024 13:30 3m 48s
pages build and deployment pages-build-deployment #40: by github-pages bot
March 26, 2024 19:23 42s
March 26, 2024 19:23 42s
CI: only run on meaningful changes CI #45: Commit 9681329 pushed by omelkonian
March 26, 2024 19:21 1m 6s master
master
March 26, 2024 19:21 1m 6s
pages build and deployment pages-build-deployment #39: by github-pages bot
March 26, 2024 19:16 46s
March 26, 2024 19:16 46s
Add MIT licence CI #44: Commit 3c8850d pushed by omelkonian
March 26, 2024 19:15 1m 3s master
master
March 26, 2024 19:15 1m 3s
pages build and deployment pages-build-deployment #38: by github-pages bot
March 26, 2024 15:04 44s
March 26, 2024 15:04 44s
Version bump from 2.0-rc1 to 2.0 CI #43: Commit 4eaf23d pushed by omelkonian
March 26, 2024 15:00 3m 59s master
master
March 26, 2024 15:00 3m 59s
pages build and deployment pages-build-deployment #37: by github-pages bot
November 9, 2023 21:30 1m 1s
November 9, 2023 21:30 1m 1s
Move lenses to omelkonian/agda-lenses (depending on stdlib-meta) CI #42: Commit 254a3bf pushed by omelkonian
November 9, 2023 21:29 1m 25s master
master
November 9, 2023 21:29 1m 25s
pages build and deployment pages-build-deployment #36: by github-pages bot
November 9, 2023 15:06 53s
November 9, 2023 15:06 53s
Rename .agda-lib file to be the same as repo CI #41: Commit 213b814 pushed by omelkonian
November 9, 2023 15:05 1m 14s master
master
November 9, 2023 15:05 1m 14s
pages build and deployment pages-build-deployment #35: by github-pages bot
November 9, 2023 11:58 49s
November 9, 2023 11:58 49s
Remove redundant -Wno flag CI #40: Commit 96a220c pushed by omelkonian
November 9, 2023 11:56 1m 19s master
master
November 9, 2023 11:56 1m 19s
pages build and deployment pages-build-deployment #34: by github-pages bot
November 9, 2023 11:48 59s
November 9, 2023 11:48 59s
Rename to agda-stdlib-meta CI #39: Commit fc5ab11 pushed by omelkonian
November 9, 2023 11:46 1m 46s master
master
November 9, 2023 11:46 1m 46s
pages build and deployment pages-build-deployment #33: by omelkonian
November 9, 2023 11:41 55s
November 9, 2023 11:41 55s
pages build and deployment pages-build-deployment #32: by github-pages bot
November 8, 2023 18:00 1m 2s
November 8, 2023 18:00 1m 2s
README: add v2.0-rc1 + explicitly mention agda-stdlib-classes CI #38: Commit b19b7f9 pushed by omelkonian
November 8, 2023 17:58 1m 20s master
master
November 8, 2023 17:58 1m 20s
pages build and deployment pages-build-deployment #31: by github-pages bot
November 8, 2023 17:52 53s
November 8, 2023 17:52 53s
small tweak to make generated derive-DecEq type check faster CI #37: Commit f77c936 pushed by omelkonian
November 8, 2023 17:50 1m 35s master
master
November 8, 2023 17:50 1m 35s
pages build and deployment pages-build-deployment #30: by github-pages bot
November 8, 2023 17:34 51s
November 8, 2023 17:34 51s
CI: bump stdlib version to v2.0-rc1 CI #36: Commit 3c5dadf pushed by omelkonian
November 8, 2023 17:30 4m 24s master
master
November 8, 2023 17:30 4m 24s
Compatibility with agda-stdlib v2.0-rc1 CI #35: Pull request #10 opened by omelkonian
November 8, 2023 17:19 5m 33s stdlib-2.0-compat
stdlib-2.0-compat
November 8, 2023 17:19 5m 33s
pages build and deployment pages-build-deployment #29: by github-pages bot
November 8, 2023 16:35 47s
November 8, 2023 16:35 47s