Skip to content

Actions: alexkeizer/QpfTypes

Actions

build & test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: remove MvFunctor instance arg from IsPolynomial build & test #247: Commit 2a6eaad pushed by alexkeizer
December 4, 2024 15:07 2m 3s main
main
December 4, 2024 15:07 2m 3s
fix: remove MvFunctor instance arg from IsPolynomial build & test #246: Pull request #54 opened by alexkeizer
December 4, 2024 15:05 2m 14s fix-ispolynomial
fix-ispolynomial
December 4, 2024 15:05 2m 14s
fix: remove MvFunctor instance arg from IsPolynomial build & test #245: Commit ed9224d pushed by alexkeizer
December 4, 2024 15:05 2m 19s fix-ispolynomial
fix-ispolynomial
December 4, 2024 15:05 2m 19s
Fix: Make Prod' universe-polymorphic build & test #244: Pull request #52 synchronize by Kiiyya
December 3, 2024 21:46 2m 9s Kiiyya:fix-Prod-universe-poly
Kiiyya:fix-Prod-universe-poly
December 3, 2024 21:46 2m 9s
cleanup build & test #242: Commit 34b9b46 pushed by alexkeizer
November 1, 2024 22:32 1m 41s qpfExpr-abstraction
qpfExpr-abstraction
November 1, 2024 22:32 1m 41s
Merge branch 'qpfExpr-abstraction' of github.com:alexkeizer/QpfTypes … build & test #241: Commit 81ba758 pushed by alexkeizer
November 1, 2024 22:29 1m 58s qpfExpr-abstraction
qpfExpr-abstraction
November 1, 2024 22:29 1m 58s
WIP: refactor: factor out a QPFExpr abstraction build & test #240: Commit fc03cd7 pushed by alexkeizer
November 1, 2024 22:27 1m 51s qpfExpr-abstraction
qpfExpr-abstraction
November 1, 2024 22:27 1m 51s
feat: structure trace with trace nodes build & test #239: Commit ccb042d pushed by alexkeizer
November 1, 2024 19:27 1m 59s itrees
itrees
November 1, 2024 19:27 1m 59s
WIP: refactor: factor out a QPFExpr abstraction build & test #238: Commit 2b3efc0 pushed by alexkeizer
November 1, 2024 19:03 1m 31s qpfExpr-abstraction
qpfExpr-abstraction
November 1, 2024 19:03 1m 31s
WIP: notes on sigma types build & test #237: Commit 28174f4 pushed by alexkeizer
November 1, 2024 18:09 2m 0s sigma-types
sigma-types
November 1, 2024 18:09 2m 0s
WIP: feat: define weak bisimulation for ITrees build & test #236: Pull request #49 opened by alexkeizer
October 15, 2024 20:28 2m 15s itree-eutt
itree-eutt
October 15, 2024 20:28 2m 15s
WIP: feat: prove that EquivUTT is transitive build & test #235: Commit 4f96f19 pushed by alexkeizer
October 15, 2024 20:27 2m 5s itree-eutt
itree-eutt
October 15, 2024 20:27 2m 5s
feat: build ITree in CI (#47) build & test #234: Commit fc4fe05 pushed by alexkeizer
October 11, 2024 15:29 2m 1s main
main
October 11, 2024 15:29 2m 1s
feat: build ITree in CI build & test #233: Pull request #47 synchronize by alexkeizer
October 11, 2024 15:27 1m 58s itree-ci
itree-ci
October 11, 2024 15:27 1m 58s
Merge branch 'main' into itree-ci build & test #232: Commit 7068959 pushed by alexkeizer
October 11, 2024 15:27 1m 57s itree-ci
itree-ci
October 11, 2024 15:27 1m 57s
Update LICENSE build & test #231: Commit 68a7dc4 pushed by alexkeizer
October 11, 2024 15:21 1m 56s main
main
October 11, 2024 15:21 1m 56s
fix: update copyright info in License file build & test #230: Pull request #48 opened by alexkeizer
October 11, 2024 15:21 2m 4s fix-update-copyright-info-in-license-file
fix-update-copyright-info-in-license-file
October 11, 2024 15:21 2m 4s
Update LICENSE build & test #229: Commit f4afa45 pushed by alexkeizer
October 11, 2024 15:20 2m 6s fix-update-copyright-info-in-license-file
fix-update-copyright-info-in-license-file
October 11, 2024 15:20 2m 6s
feat: build ITree in CI build & test #228: Pull request #47 synchronize by alexkeizer
October 11, 2024 03:41 2m 9s itree-ci
itree-ci
October 11, 2024 03:41 2m 9s
Add ITree.lean module file build & test #227: Commit 00f2c6c pushed by alexkeizer
October 11, 2024 03:41 1m 57s itree-ci
itree-ci
October 11, 2024 03:41 1m 57s
feat: build ITree in CI build & test #226: Pull request #47 synchronize by alexkeizer
October 11, 2024 02:36 1m 51s itree-ci
itree-ci
October 11, 2024 02:36 1m 51s
fix typo build & test #225: Commit b3fb1bf pushed by alexkeizer
October 11, 2024 02:36 2m 2s itree-ci
itree-ci
October 11, 2024 02:36 2m 2s
feat: build ITree in CI build & test #224: Pull request #47 synchronize by alexkeizer
October 11, 2024 02:35 1m 53s itree-ci
itree-ci
October 11, 2024 02:35 1m 53s
cleanup CI, deduplicate fetching of the cache into a separate step build & test #223: Commit 8658135 pushed by alexkeizer
October 11, 2024 02:35 2m 2s itree-ci
itree-ci
October 11, 2024 02:35 2m 2s
feat: build ITree in CI build & test #222: Pull request #47 synchronize by alexkeizer
October 11, 2024 02:32 1m 58s itree-ci
itree-ci
October 11, 2024 02:32 1m 58s