Skip to content

Actions: gskorokhod/conjure-oxide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code and Documentation Coverage (Deploy) Code and Documentation Coverage (Deploy) #9: completed by gskorokhod
November 7, 2023 09:38 37s
November 7, 2023 09:38 37s
pages build and deployment pages-build-deployment #43: by github-pages bot
November 7, 2023 09:37 44s
November 7, 2023 09:37 44s
pages build and deployment pages-build-deployment #42: by github-pages bot
November 7, 2023 09:37 23s
November 7, 2023 09:37 23s
pages build and deployment pages-build-deployment #41: by github-pages bot
November 7, 2023 09:37 12s
November 7, 2023 09:37 12s
Code and Documentation Coverage (Deploy) Code and Documentation Coverage (Deploy) #8: completed by gskorokhod
November 7, 2023 09:37 34s
November 7, 2023 09:37 34s
pages build and deployment pages-build-deployment #40: by github-pages bot
November 7, 2023 09:36 53s
November 7, 2023 09:36 53s
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
main
November 7, 2023 09:36 2m 24s
Merge pull request #4 from conjure-cp/main solvers/kissat #9: Commit 8dc53d5 pushed by gskorokhod
November 7, 2023 09:36 1m 12s main
main
November 7, 2023 09:36 1m 12s
Merge pull request #4 from conjure-cp/main tools/essence-feature-stats - Deploy to Github Pages #62: Commit 8dc53d5 pushed by gskorokhod
November 7, 2023 09:36 51s main
main
November 7, 2023 09:36 51s
Merge pull request #4 from conjure-cp/main solvers/chuffed #4: Commit 8dc53d5 pushed by gskorokhod
November 7, 2023 09:36 3m 40s main
main
November 7, 2023 09:36 3m 40s
Merge pull request #4 from conjure-cp/main Full Caches #8: Commit 8dc53d5 pushed by gskorokhod
November 7, 2023 09:36 18m 2s main
main
November 7, 2023 09:36 18m 2s
Merge pull request #4 from conjure-cp/main Formatting #10: Commit 8dc53d5 pushed by gskorokhod
November 7, 2023 09:36 17s main
main
November 7, 2023 09:36 17s
Merge pull request #4 from conjure-cp/main Documentation Coverage #16: Commit 8dc53d5 pushed by gskorokhod
November 7, 2023 09:36 3m 11s main
main
November 7, 2023 09:36 3m 11s
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
conjure-cp:main
November 7, 2023 09:36 1m 38s
Merge changes from main Documentation Coverage #15: Pull request #4 opened by gskorokhod
November 7, 2023 09:36 1m 58s conjure-cp:main
conjure-cp:main
November 7, 2023 09:36 1m 58s
Merge changes from main Formatting #9: Pull request #4 opened by gskorokhod
November 7, 2023 09:36 18s conjure-cp:main
conjure-cp:main
November 7, 2023 09:36 18s
Merge changes from main solvers/chuffed #3: Pull request #4 opened by gskorokhod
November 7, 2023 09:36 3m 58s conjure-cp:main
conjure-cp:main
November 7, 2023 09:36 3m 58s
Merge remote-tracking branch 'origin/main' Full Caches #7: Commit dff4cdf pushed by gskorokhod
November 7, 2023 09:35 1m 35s main
main
November 7, 2023 09:35 1m 35s
Merge remote-tracking branch 'origin/main' Documentation Coverage #14: Commit dff4cdf pushed by gskorokhod
November 7, 2023 09:35 2m 4s main
main
November 7, 2023 09:35 2m 4s
Merge remote-tracking branch 'origin/main' solvers/kissat #8: Commit dff4cdf pushed by gskorokhod
November 7, 2023 09:35 1m 41s main
main
November 7, 2023 09:35 1m 41s
Merge remote-tracking branch 'origin/main' Formatting #8: Commit dff4cdf pushed by gskorokhod
November 7, 2023 09:35 21s main
main
November 7, 2023 09:35 21s
Merge remote-tracking branch 'origin/main' tools/essence-feature-stats - Deploy to Github Pages #61: Commit dff4cdf pushed by gskorokhod
November 7, 2023 09:35 59s main
main
November 7, 2023 09:35 59s
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
main
November 7, 2023 09:35 1m 34s
pages build and deployment pages-build-deployment #39: by github-pages bot
November 6, 2023 20:25 59s
November 6, 2023 20:25 59s
pages build and deployment pages-build-deployment #38: by github-pages bot
November 6, 2023 20:25 24s
November 6, 2023 20:25 24s
ProTip! You can narrow down the results and go further in time using created:<2023-11-06 or the other filters available.