Skip to content

Actions: MiniZinc/minizinc-playground

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
388 workflow runs
388 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies Embeddable library #102: Commit 5d14c98 pushed by cyderize
December 14, 2023 22:09 1m 20s develop
develop
December 14, 2023 22:09 1m 20s
Fix unexported function Github Pages #106: Pull request #38 opened by cyderize
December 14, 2023 22:08 50s cyderize:fix_unexported
cyderize:fix_unexported
December 14, 2023 22:08 50s
Fix unexported function Embeddable library #101: Pull request #38 opened by cyderize
December 14, 2023 22:08 1m 21s cyderize:fix_unexported
cyderize:fix_unexported
December 14, 2023 22:08 1m 21s
pages build and deployment pages-build-deployment #50: by github-pages bot
November 29, 2023 01:52 30s gh-pages
gh-pages
November 29, 2023 01:52 30s
Update readme with more information on sharing URLs Embeddable library #100: Commit 2b8c305 pushed by cyderize
November 29, 2023 01:51 1m 18s main
main
November 29, 2023 01:51 1m 18s
Update readme with more information on sharing URLs Github Pages #105: Commit 2b8c305 pushed by cyderize
November 29, 2023 01:51 1m 7s main
main
November 29, 2023 01:51 1m 7s
Update readme with more information on sharing URLs Embeddable library #99: Commit 2b8c305 pushed by cyderize
November 29, 2023 01:45 1m 32s develop
develop
November 29, 2023 01:45 1m 32s
Update readme with more information on sharing URLs Github Pages #104: Commit 2b8c305 pushed by cyderize
November 29, 2023 01:45 1m 18s develop
develop
November 29, 2023 01:45 1m 18s
Update readme with more information on sharing URLs Embeddable library #98: Pull request #37 opened by cyderize
November 29, 2023 01:44 1m 20s cyderize:update_readme
cyderize:update_readme
November 29, 2023 01:44 1m 20s
Update readme with more information on sharing URLs Github Pages #103: Pull request #37 opened by cyderize
November 29, 2023 01:44 51s cyderize:update_readme
cyderize:update_readme
November 29, 2023 01:44 51s
pages build and deployment pages-build-deployment #49: by github-pages bot
November 26, 2023 03:16 31s gh-pages
gh-pages
November 26, 2023 03:16 31s
Allow importing from URL Github Pages #102: Commit 0a20eed pushed by cyderize
November 26, 2023 03:15 1m 4s develop
develop
November 26, 2023 03:15 1m 4s
Allow importing from URL Embeddable library #97: Commit 0a20eed pushed by cyderize
November 26, 2023 03:15 1m 16s develop
develop
November 26, 2023 03:15 1m 16s
Allow importing from URL Github Pages #101: Pull request #36 opened by cyderize
November 26, 2023 03:14 54s cyderize:feature/url
cyderize:feature/url
November 26, 2023 03:14 54s
Allow importing from URL Embeddable library #96: Pull request #36 opened by cyderize
November 26, 2023 03:14 1m 19s cyderize:feature/url
cyderize:feature/url
November 26, 2023 03:14 1m 19s
pages build and deployment pages-build-deployment #48: by github-pages bot
November 23, 2023 10:25 40s gh-pages
gh-pages
November 23, 2023 10:25 40s
Update dependencies Github Pages #100: Commit 0151a70 pushed by cyderize
November 23, 2023 10:24 1m 4s main
main
November 23, 2023 10:24 1m 4s
Update dependencies Embeddable library #95: Commit 0151a70 pushed by cyderize
November 23, 2023 10:24 1m 21s main
main
November 23, 2023 10:24 1m 21s
pages build and deployment pages-build-deployment #47: by github-pages bot
November 23, 2023 10:24 33s gh-pages
gh-pages
November 23, 2023 10:24 33s
Update dependencies Github Pages #99: Commit 0151a70 pushed by cyderize
November 23, 2023 10:22 1m 4s develop
develop
November 23, 2023 10:22 1m 4s
Update dependencies Embeddable library #94: Commit 0151a70 pushed by cyderize
November 23, 2023 10:22 1m 17s develop
develop
November 23, 2023 10:22 1m 17s
Refactor media queries into store Embeddable library #93: Pull request #35 opened by cyderize
November 23, 2023 10:21 1m 23s cyderize:media_query_store
cyderize:media_query_store
November 23, 2023 10:21 1m 23s
Refactor media queries into store Github Pages #98: Pull request #35 opened by cyderize
November 23, 2023 10:21 51s cyderize:media_query_store
cyderize:media_query_store
November 23, 2023 10:21 51s
pages build and deployment pages-build-deployment #46: by github-pages bot
November 23, 2023 09:32 36s gh-pages
gh-pages
November 23, 2023 09:32 36s
Add option for autofocus on startup Github Pages #97: Commit 25e6dae pushed by cyderize
November 23, 2023 09:31 58s main
main
November 23, 2023 09:31 58s
ProTip! You can narrow down the results and go further in time using created:<2023-11-23 or the other filters available.