Skip to content

Actions: MiniZinc/minizinc-playground

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
360 workflow runs
360 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #32: by github-pages bot
September 14, 2023 03:27 38s
September 14, 2023 03:27 38s
Fix code editor scrolling problems Github Pages #74: Commit 33e7f7a pushed by cyderize
September 14, 2023 03:25 1m 41s develop
develop
September 14, 2023 03:25 1m 41s
Fix code editor scrolling problems Embeddable library #69: Commit 33e7f7a pushed by cyderize
September 14, 2023 03:25 2m 4s develop
develop
September 14, 2023 03:25 2m 4s
Fix code editor scrolling problems Embeddable library #68: Pull request #26 opened by cyderize
September 14, 2023 03:23 2m 36s cyderize:fix_scroll
cyderize:fix_scroll
September 14, 2023 03:23 2m 36s
Fix code editor scrolling problems Github Pages #73: Pull request #26 opened by cyderize
September 14, 2023 03:23 1m 29s cyderize:fix_scroll
cyderize:fix_scroll
September 14, 2023 03:23 1m 29s
pages build and deployment pages-build-deployment #31: by github-pages bot
August 11, 2023 04:41 32s
August 11, 2023 04:41 32s
Support new checker output message format Github Pages #72: Commit bf18c6b pushed by cyderize
August 11, 2023 04:39 1m 25s develop
develop
August 11, 2023 04:39 1m 25s
Support new checker output message format Embeddable library #67: Commit bf18c6b pushed by cyderize
August 11, 2023 04:39 1m 59s develop
develop
August 11, 2023 04:39 1m 59s
Support new checker output message format Embeddable library #66: Pull request #25 opened by cyderize
August 11, 2023 04:37 2m 35s cyderize:fix_checker
cyderize:fix_checker
August 11, 2023 04:37 2m 35s
Support new checker output message format Github Pages #71: Pull request #25 opened by cyderize
August 11, 2023 04:37 1m 49s cyderize:fix_checker
cyderize:fix_checker
August 11, 2023 04:37 1m 49s
pages build and deployment pages-build-deployment #30: by github-pages bot
July 20, 2023 23:19 31s
July 20, 2023 23:19 31s
Fix navbar breakpoint Github Pages #70: Commit dc617ff pushed by cyderize
July 20, 2023 23:18 1m 30s develop
develop
July 20, 2023 23:18 1m 30s
Fix navbar breakpoint Embeddable library #65: Commit dc617ff pushed by cyderize
July 20, 2023 23:18 2m 5s develop
develop
July 20, 2023 23:18 2m 5s
Fix navbar breakpoint Github Pages #69: Pull request #24 opened by cyderize
July 20, 2023 23:15 1m 45s cyderize:fix_navbar_breakpoint
cyderize:fix_navbar_breakpoint
July 20, 2023 23:15 1m 45s
Fix navbar breakpoint Embeddable library #64: Pull request #24 opened by cyderize
July 20, 2023 23:15 2m 58s cyderize:fix_navbar_breakpoint
cyderize:fix_navbar_breakpoint
July 20, 2023 23:15 2m 58s
pages build and deployment pages-build-deployment #29: by github-pages bot
July 20, 2023 02:54 35s
July 20, 2023 02:54 35s
Improve mobile layout Github Pages #68: Commit cfb7cec pushed by cyderize
July 20, 2023 02:53 1m 53s main
main
July 20, 2023 02:53 1m 53s
Improve mobile layout Embeddable library #63: Commit cfb7cec pushed by cyderize
July 20, 2023 02:53 2m 11s main
main
July 20, 2023 02:53 2m 11s
pages build and deployment pages-build-deployment #28: by github-pages bot
July 20, 2023 01:04 33s
July 20, 2023 01:04 33s
Improve mobile layout Embeddable library #62: Commit cfb7cec pushed by cyderize
July 20, 2023 01:02 2m 30s develop
develop
July 20, 2023 01:02 2m 30s
Improve mobile layout Github Pages #67: Commit cfb7cec pushed by cyderize
July 20, 2023 01:02 1m 54s develop
develop
July 20, 2023 01:02 1m 54s
Improve mobile layout Github Pages #66: Pull request #23 opened by cyderize
July 20, 2023 00:59 1m 32s cyderize:feature/mobile
cyderize:feature/mobile
July 20, 2023 00:59 1m 32s
Improve mobile layout Embeddable library #61: Pull request #23 opened by cyderize
July 20, 2023 00:59 2m 56s cyderize:feature/mobile
cyderize:feature/mobile
July 20, 2023 00:59 2m 56s
pages build and deployment pages-build-deployment #27: by github-pages bot
July 13, 2023 23:27 32s
July 13, 2023 23:27 32s
Disable share/download buttons when playground is busy Github Pages #65: Commit 0abae91 pushed by cyderize
July 13, 2023 23:25 1m 51s main
main
July 13, 2023 23:25 1m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-07-13 or the other filters available.