Skip to content

Actions: alexkeizer/QpfTypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into itree-ci build & test #221: Commit 8955e9b pushed by alexkeizer
October 11, 2024 02:32 2m 9s itree-ci
itree-ci
October 11, 2024 02:32 2m 9s
feat: build ITree in CI build & test #220: Pull request #47 opened by alexkeizer
October 11, 2024 02:32 1m 55s itree-ci
itree-ci
October 11, 2024 02:32 1m 55s
feat: build ITree in CI build & test #219: Commit f2eae0f pushed by alexkeizer
October 11, 2024 02:31 2m 2s itree-ci
itree-ci
October 11, 2024 02:31 2m 2s
feat: build ITree in CI build & test #218: Commit f2eae0f pushed by alexkeizer
October 11, 2024 02:31 2m 1s trace-nodes-2
trace-nodes-2
October 11, 2024 02:31 2m 1s
feat: beginning of an ITree library build & test #217: Commit 03e70df pushed by alexkeizer
October 11, 2024 02:25 2m 4s main
main
October 11, 2024 02:25 2m 4s
feat: more descriptive tracing (#45) build & test #216: Commit 9affd6a pushed by alexkeizer
October 11, 2024 02:25 1m 54s trace-nodes-2
trace-nodes-2
October 11, 2024 02:25 1m 54s
feat: more descriptive tracing (#45) build & test #215: Commit 9affd6a pushed by alexkeizer
October 11, 2024 02:21 1m 54s main
main
October 11, 2024 02:21 1m 54s
feat: beginning of an ITree library build & test #214: Pull request #46 opened by alexkeizer
October 11, 2024 02:20 1m 56s itree
itree
October 11, 2024 02:20 1m 56s
feat: more descriptive tracing build & test #213: Pull request #45 opened by alexkeizer
October 11, 2024 02:19 2m 7s trace-nodes-2
trace-nodes-2
October 11, 2024 02:19 2m 7s
feat: beginning of an ITree library build & test #212: Commit b6b0de8 pushed by alexkeizer
October 11, 2024 02:18 1m 52s itree
itree
October 11, 2024 02:18 1m 52s
feat: more descriptive tracing build & test #211: Commit 12de90b pushed by alexkeizer
October 11, 2024 02:18 1m 56s trace-nodes-2
trace-nodes-2
October 11, 2024 02:18 1m 56s
WIP: allow (co)datatypes without live variables build & test #210: Pull request #44 opened by alexkeizer
October 9, 2024 04:48 1m 51s remove-dead-var-error
remove-dead-var-error
October 9, 2024 04:48 1m 51s
add test case without live variables build & test #209: Commit 1db5cc5 pushed by alexkeizer
October 9, 2024 04:47 2m 2s remove-dead-var-error
remove-dead-var-error
October 9, 2024 04:47 2m 2s
feat: structure trace with trace nodes build & test #208: Commit ccb042d pushed by alexkeizer
October 9, 2024 04:47 2m 8s main
main
October 9, 2024 04:47 2m 8s
feat: structure trace with trace nodes build & test #207: Pull request #43 opened by alexkeizer
October 9, 2024 04:44 2m 6s trace-nodes
trace-nodes
October 9, 2024 04:44 2m 6s
feat: structure trace with trace nodes build & test #206: Commit afd3b77 pushed by alexkeizer
October 9, 2024 04:44 1m 53s trace-nodes
trace-nodes
October 9, 2024 04:44 1m 53s
add test case without live variables build & test #205: Commit 2f14ce4 pushed by alexkeizer
October 9, 2024 04:44 1m 54s remove-dead-var-error
remove-dead-var-error
October 9, 2024 04:44 1m 54s
add test case without live variables build & test #204: Commit 6f554da pushed by alexkeizer
October 9, 2024 02:56 2m 2s remove-dead-var-error
remove-dead-var-error
October 9, 2024 02:56 2m 2s
fix: change eliminator to the new, more specific, induction_eliminator build & test #203: Commit 46b75a5 pushed by alexkeizer
October 9, 2024 02:40 2m 7s main
main
October 9, 2024 02:40 2m 7s
fix: change eliminator to the new, more specific, induction_eliminator build & test #202: Commit 46b75a5 pushed by alexkeizer
October 9, 2024 02:16 1m 51s master
master
October 9, 2024 02:16 1m 51s
chore: bump toolchain to v4.12.0 build & test #201: Pull request #42 opened by alexkeizer
October 9, 2024 02:14 1m 53s bump-toolchain-4-12
bump-toolchain-4-12
October 9, 2024 02:14 1m 53s
fix: change eliminator to the new, more specific, induction_eliminator build & test #200: Commit fba995a pushed by alexkeizer
October 9, 2024 02:13 1m 52s bump-toolchain-4-12
bump-toolchain-4-12
October 9, 2024 02:13 1m 52s
fix tests build & test #199: Commit 4f46cbc pushed by alexkeizer
October 9, 2024 02:08 1m 26s bump-toolchain-4-12
bump-toolchain-4-12
October 9, 2024 02:08 1m 26s
fix tests build & test #198: Commit 0bcacaa pushed by alexkeizer
October 9, 2024 01:58 1m 45s main
main
October 9, 2024 01:58 1m 45s
chore: bump toolchain to v4.12.0 build & test #197: Commit 6ef5a8c pushed by alexkeizer
October 9, 2024 01:54 1m 48s main
main
October 9, 2024 01:54 1m 48s