Skip to content

Actions: explorable-viz/fluid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,795 workflow runs
1,795 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🧩 [consolidate]: EvalGaloisConnection factors through GaloisConnection. develop #1049: Commit 749a0eb pushed by rolyp
September 27, 2023 06:40 4m 32s powerset
powerset
September 27, 2023 06:40 4m 32s
Merge pull request #766 from explorable-viz/powerset develop #1048: Commit b0b878d pushed by rolyp
September 26, 2023 18:04 4m 6s develop
develop
September 26, 2023 18:04 4m 6s
Experiment with new (record-based) BooleanLattice abstraction, with powerset and some other basic instances develop #1047: Pull request #766 opened by rolyp
September 26, 2023 18:00 2m 44s powerset
powerset
September 26, 2023 18:00 2m 44s
🧩 [add-unused]: Product instance for new BooleanLattice abstraction. develop #1046: Commit 7839481 pushed by rolyp
September 26, 2023 17:58 3m 14s powerset
powerset
September 26, 2023 17:58 3m 14s
🧩 [add-unused]: Implementation of new BooleanLattice type for arbitra… develop #1045: Commit 71f337a pushed by rolyp
September 26, 2023 17:50 2m 48s powerset
powerset
September 26, 2023 17:50 2m 48s
Merge pull request #764 from explorable-viz/consolidate develop #1044: Commit 1f53b7a pushed by rolyp
September 26, 2023 07:45 4m 14s develop
develop
September 26, 2023 07:45 4m 14s
GaloisConnection abstraction (WIP) develop #1043: Pull request #764 opened by rolyp
September 26, 2023 07:36 4m 23s consolidate
consolidate
September 26, 2023 07:36 4m 23s
🧩 [consolidate]: Inline evalWithConfig. develop #1042: Commit aa6d940 pushed by rolyp
September 26, 2023 07:36 3m 35s consolidate
consolidate
September 26, 2023 07:36 3m 35s
🧩 [consolidate]: Merge develop. develop #1041: Commit 095ca15 pushed by rolyp
September 26, 2023 07:28 3m 0s consolidate
consolidate
September 26, 2023 07:28 3m 0s
🧩 [doc] : Note on fwdSliceDeMorgan, graph bwd. develop #1040: Commit 3b0ae2a pushed by rolyp
September 26, 2023 06:04 2m 45s consolidate
consolidate
September 26, 2023 06:04 2m 45s
Merge pull request #762 from explorable-viz/benchmarking develop #1039: Commit a99cf6e pushed by min-nguyen
September 25, 2023 16:28 1m 41s develop
develop
September 25, 2023 16:28 1m 41s
Benchmarking develop #1038: Pull request #762 opened by min-nguyen
September 25, 2023 16:28 2m 59s benchmarking
benchmarking
September 25, 2023 16:28 2m 59s
Added Graph benchmarks for de morgan dual of fwd and bwd slicing develop #1037: Commit 9fa71e3 pushed by min-nguyen
September 25, 2023 16:17 2m 50s benchmarking
benchmarking
September 25, 2023 16:17 2m 50s
pages build and deployment pages-build-deployment #157: by github-pages bot
September 25, 2023 09:51 37s gh-pages
gh-pages
September 25, 2023 09:51 37s
pages build and deployment pages-build-deployment #156: by github-pages bot
September 25, 2023 09:48 42s gh-pages
gh-pages
September 25, 2023 09:48 42s
🧩 [refactor]: Better mergeSort impl. develop #1036: Commit bc4e250 pushed by rolyp
September 25, 2023 09:47 4m 5s develop
develop
September 25, 2023 09:47 4m 5s
Merge pull request #761 from explorable-viz/gc develop #1035: Commit a1de82e pushed by rolyp
September 25, 2023 09:44 4m 6s develop
develop
September 25, 2023 09:44 4m 6s
Monad transformer/error handling/graph building consolidation (WIP) develop #1034: Pull request #761 opened by rolyp
September 25, 2023 09:40 2m 57s gc
gc
September 25, 2023 09:40 2m 57s
Merge branch 'develop' into gc develop #1033: Commit efddb7f pushed by rolyp
September 25, 2023 09:38 3m 57s gc
gc
September 25, 2023 09:38 3m 57s
🧩 [remove-unused]: Old WithGraphAllocT. develop #1032: Commit a54f081 pushed by rolyp
September 25, 2023 09:37 2m 51s gc
gc
September 25, 2023 09:37 2m 51s
🧩 [consolidate]: liftEither. develop #1031: Commit e8647e9 pushed by rolyp
September 25, 2023 09:09 31s gc
gc
September 25, 2023 09:09 31s
Merge pull request #758 from explorable-viz/benchmarking develop #1030: Commit 64cf7b1 pushed by min-nguyen
September 23, 2023 16:44 4m 22s develop
develop
September 23, 2023 16:44 4m 22s
Add benchmarking for BwdAll develop #1029: Pull request #758 opened by min-nguyen
September 23, 2023 16:44 3m 0s benchmarking
benchmarking
September 23, 2023 16:44 3m 0s
Add benchmarking for BwdAll develop #1028: Commit 4eb1884 pushed by min-nguyen
September 23, 2023 16:43 2m 40s benchmarking
benchmarking
September 23, 2023 16:43 2m 40s
Add benchmarking for BwdAll develop #1027: Commit 9a78339 pushed by min-nguyen
September 23, 2023 16:42 2m 57s benchmarking
benchmarking
September 23, 2023 16:42 2m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-09-23 or the other filters available.