Skip to content

Actions: MiniZinc/minizinc-playground

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #44: by github-pages bot
November 16, 2023 06:18 36s gh-pages
gh-pages
November 16, 2023 06:18 36s
Update dependencies Github Pages #94: Commit b348e75 pushed by cyderize
November 16, 2023 06:16 1m 4s main
main
November 16, 2023 06:16 1m 4s
Update dependencies Embeddable library #89: Commit b348e75 pushed by cyderize
November 16, 2023 06:16 1m 18s main
main
November 16, 2023 06:16 1m 18s
pages build and deployment pages-build-deployment #43: by github-pages bot
November 16, 2023 06:13 30s gh-pages
gh-pages
November 16, 2023 06:13 30s
Update dependencies Github Pages #93: Commit b348e75 pushed by cyderize
November 16, 2023 06:12 1m 0s develop
develop
November 16, 2023 06:12 1m 0s
Update dependencies Embeddable library #88: Commit b348e75 pushed by cyderize
November 16, 2023 06:12 1m 21s develop
develop
November 16, 2023 06:12 1m 21s
Update for 2.8.0 Github Pages #92: Pull request #33 opened by cyderize
November 16, 2023 06:10 56s cyderize:update
cyderize:update
November 16, 2023 06:10 56s
Update for 2.8.0 Embeddable library #87: Pull request #33 opened by cyderize
November 16, 2023 06:10 1m 22s cyderize:update
cyderize:update
November 16, 2023 06:10 1m 22s
pages build and deployment pages-build-deployment #42: by github-pages bot
November 2, 2023 04:53 34s gh-pages
gh-pages
November 2, 2023 04:53 34s
Prevent default for modal forms Github Pages #91: Commit 5eb70a3 pushed by cyderize
November 2, 2023 04:52 1m 19s main
main
November 2, 2023 04:52 1m 19s
Prevent default for modal forms Embeddable library #86: Commit 5eb70a3 pushed by cyderize
November 2, 2023 04:52 2m 17s main
main
November 2, 2023 04:52 2m 17s
pages build and deployment pages-build-deployment #41: by github-pages bot
November 2, 2023 02:32 35s gh-pages
gh-pages
November 2, 2023 02:32 35s
Prevent default for modal forms Github Pages #90: Commit 5eb70a3 pushed by cyderize
November 2, 2023 02:31 1m 26s develop
develop
November 2, 2023 02:31 1m 26s
Prevent default for modal forms Embeddable library #85: Commit 5eb70a3 pushed by cyderize
November 2, 2023 02:31 2m 8s develop
develop
November 2, 2023 02:31 2m 8s
Prevent default for modal forms Github Pages #89: Pull request #32 opened by cyderize
November 2, 2023 02:29 53s cyderize:fix_form_submission
cyderize:fix_form_submission
November 2, 2023 02:29 53s
Prevent default for modal forms Embeddable library #84: Pull request #32 opened by cyderize
November 2, 2023 02:29 1m 23s cyderize:fix_form_submission
cyderize:fix_form_submission
November 2, 2023 02:29 1m 23s
pages build and deployment pages-build-deployment #40: by github-pages bot
October 29, 2023 23:02 32s gh-pages
gh-pages
October 29, 2023 23:02 32s
Improve modal focus Github Pages #88: Commit b77a310 pushed by cyderize
October 29, 2023 23:01 1m 17s main
main
October 29, 2023 23:01 1m 17s
Improve modal focus Embeddable library #83: Commit b77a310 pushed by cyderize
October 29, 2023 23:01 1m 51s main
main
October 29, 2023 23:01 1m 51s
pages build and deployment pages-build-deployment #39: by github-pages bot
October 29, 2023 23:00 31s gh-pages
gh-pages
October 29, 2023 23:00 31s
Improve modal focus Embeddable library #82: Commit b77a310 pushed by cyderize
October 29, 2023 22:58 2m 4s develop
develop
October 29, 2023 22:58 2m 4s
Improve modal focus Github Pages #87: Commit b77a310 pushed by cyderize
October 29, 2023 22:58 1m 39s develop
develop
October 29, 2023 22:58 1m 39s
Improve modal focus Embeddable library #81: Pull request #31 opened by cyderize
October 29, 2023 22:56 2m 4s cyderize:feature/focus
cyderize:feature/focus
October 29, 2023 22:56 2m 4s
Improve modal focus Github Pages #86: Pull request #31 opened by cyderize
October 29, 2023 22:56 1m 15s cyderize:feature/focus
cyderize:feature/focus
October 29, 2023 22:56 1m 15s
pages build and deployment pages-build-deployment #38: by github-pages bot
October 27, 2023 00:29 40s gh-pages
gh-pages
October 27, 2023 00:29 40s