Skip to content

Actions: LeeeeT/felis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow run results
40 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add felis.pair .github/workflows/ci.yaml #20: Commit a6ac26b pushed by LeeeeT
June 11, 2024 18:31 32s main
main
June 11, 2024 18:31 32s
Do not make its own constructor for felis.io .github/workflows/ci.yaml #19: Commit d62454e pushed by LeeeeT
June 11, 2024 18:19 23s main
main
June 11, 2024 18:19 23s
Export finite and Finite from felis.constrained.float .github/workflows/ci.yaml #18: Commit 2f6232b pushed by LeeeeT
June 11, 2024 18:12 28s main
main
June 11, 2024 18:12 28s
Add felis.constrained.float.finite .github/workflows/ci.yaml #17: Commit b12c507 pushed by LeeeeT
June 11, 2024 17:58 25s main
main
June 11, 2024 17:58 25s
Add felis.constrained.float.portion .github/workflows/ci.yaml #16: Commit bd3c539 pushed by LeeeeT
June 11, 2024 16:08 19s main
main
June 11, 2024 16:08 19s
Add felis.predicate.interval and felis.predicate.float.portion, f… .github/workflows/ci.yaml #15: Commit d176f69 pushed by LeeeeT
June 11, 2024 16:07 23s main
main
June 11, 2024 16:07 23s
Rename felis.type to felis.constrained .github/workflows/ci.yaml #14: Commit be26539 pushed by LeeeeT
June 11, 2024 15:37 22s main
main
June 11, 2024 15:37 22s
github_actions in /. - Update #840466800 Dependabot Updates #11: by dependabot bot
June 11, 2024 14:59 39s quartz
quartz
June 11, 2024 14:59 39s
Add newlines .github/workflows/ci.yaml #13: Commit 52a73e1 pushed by LeeeeT
June 11, 2024 14:43 22s main
main
June 11, 2024 14:43 22s
Split felis.predicate and felis.type into modules, add float pr… .github/workflows/ci.yaml #12: Commit 0906652 pushed by LeeeeT
June 11, 2024 14:40 36s main
main
June 11, 2024 14:40 36s
pip in /. - Update #840455022 Dependabot Updates #10: by dependabot bot
June 11, 2024 14:32 44s main
main
June 11, 2024 14:32 44s
github_actions in /. - Update #840447469 Dependabot Updates #9: by dependabot bot
June 11, 2024 14:16 36s main
main
June 11, 2024 14:16 36s
Add felis.type with smart_constructor and int types .github/workflows/ci.yaml #11: Commit 67ec06b pushed by LeeeeT
June 11, 2024 13:37 29s main
main
June 11, 2024 13:37 29s
Remove felis.list.fold_left, add felis.list.neutral, `felis.list.… .github/workflows/ci.yaml #10: Commit 812c9e9 pushed by LeeeeT
June 11, 2024 11:26 23s main
main
June 11, 2024 11:26 23s
Export neutral and add from felis.list .github/workflows/ci.yaml #9: Commit d245ca8 pushed by LeeeeT
June 11, 2024 11:22 19s adt
adt
June 11, 2024 11:22 19s
Add tests for felis.bool.both .github/workflows/ci.yaml #8: Commit 5bcf8ff pushed by LeeeeT
June 11, 2024 11:10 23s main
main
June 11, 2024 11:10 23s
Set up CI .github/workflows/ci.yaml #7: Commit 7511ded pushed by LeeeeT
June 11, 2024 00:57 20s adt
adt
June 11, 2024 00:57 20s
Set up CI .github/workflows/ci.yaml #6: Commit 936847c pushed by LeeeeT
June 11, 2024 00:56 20s adt
adt
June 11, 2024 00:56 20s
Set up CI .github/workflows/ci.yaml #5: Commit 018bfe3 pushed by LeeeeT
June 11, 2024 00:54 23s adt
adt
June 11, 2024 00:54 23s
Update docs url .github/workflows/deploy.yaml #5: Commit b185733 pushed by LeeeeT
June 10, 2024 21:21 45s quartz
quartz
June 10, 2024 21:21 45s
Bump actions/upload-pages-artifact from 2 to 3 (#5) .github/workflows/deploy.yaml #4: Commit 0ed75bd pushed by LeeeeT
June 10, 2024 21:14 1m 11s quartz
quartz
June 10, 2024 21:14 1m 11s
Bump actions/deploy-pages from 2 to 4 (#2) .github/workflows/deploy.yaml #3: Commit c1c70ac pushed by LeeeeT
June 10, 2024 21:14 39s quartz
quartz
June 10, 2024 21:14 39s
github_actions in /. for actions/checkout - Update #839928501 Dependabot Updates #8: by dependabot bot
June 10, 2024 21:04 36s quartz
quartz
June 10, 2024 21:04 36s
github_actions in /. for pkgdeps/git-tag-action - Update #839928467 Dependabot Updates #7: by dependabot bot
June 10, 2024 21:04 39s quartz
quartz
June 10, 2024 21:04 39s
github_actions in /. for actions/cache - Update #839928464 Dependabot Updates #6: by dependabot bot
June 10, 2024 21:04 33s quartz
quartz
June 10, 2024 21:04 33s