Skip to content

Actions: gskorokhod/conjure-oxide

Code and Documentation Coverage (PR)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #180 from niklasdewally/nd60/uniplate
Code and Documentation Coverage (PR) #25: Commit b3036d7 pushed by gskorokhod
February 9, 2024 10:46 15m 11s main
February 9, 2024 10:46 15m 11s
Merge pull request #174 from gskorokhod/xyz-minion
Code and Documentation Coverage (PR) #24: Commit fd1711d pushed by gskorokhod
February 7, 2024 17:40 8m 17s main
February 7, 2024 17:40 8m 17s
Initial implementation of Eq in Minion (as a WatchedAnd of SumLeq and…
Code and Documentation Coverage (PR) #23: Commit 1465128 pushed by gskorokhod
February 2, 2024 21:09 8m 25s main
February 2, 2024 21:09 8m 25s
Merge pull request #164 from niklasdewally/fix-gen-doc
Code and Documentation Coverage (PR) #22: Commit eaf4f37 pushed by gskorokhod
January 31, 2024 15:45 8m 43s main
January 31, 2024 15:45 8m 43s
Merge pull request #158 from niklasdewally/nd60/docmacro
Code and Documentation Coverage (PR) #21: Commit ae46441 pushed by gskorokhod
January 30, 2024 17:41 8m 31s main
January 30, 2024 17:41 8m 31s
Merge pull request #154 from conjure-cp/dependabot/cargo/all-70e61565d2
Code and Documentation Coverage (PR) #20: Commit 2ea6a60 pushed by gskorokhod
January 29, 2024 15:47 8m 31s main
January 29, 2024 15:47 8m 31s
Merge upstream changes
Code and Documentation Coverage (PR) #19: Pull request #11 opened by gskorokhod
January 29, 2024 15:46 8m 57s conjure-cp:main
January 29, 2024 15:46 8m 57s
Merge pull request #146 from lixitrixi/manual-rewrite-poc
Code and Documentation Coverage (PR) #18: Commit 4828e4d pushed by gskorokhod
January 26, 2024 19:21 8m 47s main
January 26, 2024 19:21 8m 47s
ci: run format and coverage on changes to crates in crates/
Code and Documentation Coverage (PR) #17: Commit 7282e0e pushed by gskorokhod
January 24, 2024 13:08 9m 19s main
January 24, 2024 13:08 9m 19s
merge main
Code and Documentation Coverage (PR) #16: Pull request #8 opened by gskorokhod
November 30, 2023 19:46 8m 58s conjure-cp:main
November 30, 2023 19:46 8m 58s
Merge pull request #6 from conjure-cp/main
Code and Documentation Coverage (PR) #15: Commit 16e8cf7 pushed by gskorokhod
November 27, 2023 18:24 8m 40s main
November 27, 2023 18:24 8m 40s
sync with main
Code and Documentation Coverage (PR) #14: Pull request #6 opened by gskorokhod
November 27, 2023 18:23 8m 26s conjure-cp:main
November 27, 2023 18:23 8m 26s
Merge pull request #5 from conjure-cp/main
Code and Documentation Coverage (PR) #13: Commit 8d0f29f pushed by gskorokhod
November 17, 2023 10:10 1m 59s main
November 17, 2023 10:10 1m 59s
Merge main conjure-oxide repo
Code and Documentation Coverage (PR) #12: Pull request #5 opened by gskorokhod
November 17, 2023 10:10 2m 9s conjure-cp:main
November 17, 2023 10:10 2m 9s
Merge branch 'main' into main
Code and Documentation Coverage (PR) #11: Commit f770e08 pushed by ozgurakgun
November 13, 2023 17:51 20m 22s main
November 13, 2023 17:51 20m 22s
Merge pull request #4 from conjure-cp/main
Code and Documentation Coverage (PR) #10: Commit 8dc53d5 pushed by gskorokhod
November 7, 2023 09:36 2m 24s main
November 7, 2023 09:36 2m 24s
Merge changes from main
Code and Documentation Coverage (PR) #9: Pull request #4 opened by gskorokhod
November 7, 2023 09:36 1m 38s conjure-cp:main
November 7, 2023 09:36 1m 38s
Merge remote-tracking branch 'origin/main'
Code and Documentation Coverage (PR) #8: Commit dff4cdf pushed by gskorokhod
November 7, 2023 09:35 1m 34s main
November 7, 2023 09:35 1m 34s
Merge branch 'main' into main
Code and Documentation Coverage (PR) #7: Commit 509fbd5 pushed by gskorokhod
November 6, 2023 19:47 37m 58s main
November 6, 2023 19:47 37m 58s
Update essence-feature-stats.yml
Code and Documentation Coverage (PR) #6: Commit ce99d9a pushed by gskorokhod
November 6, 2023 19:33 35m 48s main
November 6, 2023 19:33 35m 48s
(WIP) Show source repos in table and make them hideable
Code and Documentation Coverage (PR) #5: Commit c15c684 pushed by gskorokhod
November 6, 2023 16:47 1m 22s main
November 6, 2023 16:47 1m 22s
Use latest version of Conjure
Code and Documentation Coverage (PR) #4: Commit b193801 pushed by gskorokhod
November 6, 2023 15:02 21m 17s main
November 6, 2023 15:02 21m 17s
Merge remote-tracking branch 'origin/main'
Code and Documentation Coverage (PR) #3: Commit b4adc62 pushed by gskorokhod
November 6, 2023 15:01 1m 2s main
November 6, 2023 15:01 1m 2s
Merge pull request #3 from conjure-cp/main
Code and Documentation Coverage (PR) #2: Commit 208330a pushed by gskorokhod
November 6, 2023 13:32 27m 29s main
November 6, 2023 13:32 27m 29s
Pull changes from main repo
Code and Documentation Coverage (PR) #1: Pull request #3 opened by gskorokhod
November 6, 2023 13:32 33m 10s conjure-cp:main
November 6, 2023 13:32 33m 10s