Skip to content

Actions: jverzani/QuizQuestions.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #30: by github-pages bot
October 28, 2023 20:11 48s
October 28, 2023 20:11 48s
Merge pull request #41 from jverzani/latex_delimiters CI #72: Commit e70edd2 pushed by jverzani
October 28, 2023 20:06 4m 37s main
main
October 28, 2023 20:06 4m 37s
better means to adjust latex delimiters TagBot #83: Issue comment #41 (comment) created by codecov bot
October 28, 2023 19:57 1s
October 28, 2023 19:57 1s
better means to adjust latex delimiters CI #71: Pull request #41 opened by jverzani
October 28, 2023 19:56 5m 59s latex_delimiters
latex_delimiters
October 28, 2023 19:56 5m 59s
TagBot trigger issue TagBot #82: Issue comment #3 (comment) created by JuliaTagBot
October 27, 2023 21:09 25s
October 27, 2023 21:09 25s
pages build and deployment pages-build-deployment #29: by github-pages bot
October 27, 2023 21:00 47s
October 27, 2023 21:00 47s
Merge pull request #40 from jverzani/plotlylight CI #70: Commit d2c3d4d pushed by jverzani
October 27, 2023 20:55 4m 52s main
main
October 27, 2023 20:55 4m 52s
new version of PlotlyLight TagBot #81: Issue comment #40 (comment) created by codecov bot
October 27, 2023 20:50 2s
October 27, 2023 20:50 2s
new version of PlotlyLight CI #69: Pull request #40 opened by jverzani
October 27, 2023 20:49 4m 49s plotlylight
plotlylight
October 27, 2023 20:49 4m 49s
TagBot trigger issue TagBot #80: Issue comment #3 (comment) created by JuliaTagBot
September 27, 2023 20:40 31s
September 27, 2023 20:40 31s
pages build and deployment pages-build-deployment #28: by github-pages bot
September 27, 2023 20:27 50s
September 27, 2023 20:27 50s
Merge pull request #39 from jverzani/ada CI #68: Commit 887ac34 pushed by jverzani
September 27, 2023 20:21 6m 9s main
main
September 27, 2023 20:21 6m 9s
Tweaks for ADA compliance, evaluated by WAVE chrome plugin CI #67: Pull request #39 synchronize by jverzani
September 27, 2023 20:11 4m 32s ada
ada
September 27, 2023 20:11 4m 32s
Tweaks for ADA compliance, evaluated by WAVE chrome plugin TagBot #79: Issue comment #39 (comment) created by codecov bot
September 27, 2023 18:39 2s
September 27, 2023 18:39 2s
Tweaks for ADA compliance, evaluated by WAVE chrome plugin CI #66: Pull request #39 opened by jverzani
September 27, 2023 18:37 6m 26s ada
ada
September 27, 2023 18:37 6m 26s
TagBot trigger issue TagBot #78: Issue comment #3 (comment) created by JuliaTagBot
July 17, 2023 19:25 2m 5s
July 17, 2023 19:25 2m 5s
pages build and deployment pages-build-deployment #27: by github-pages bot
July 17, 2023 19:07 45s
July 17, 2023 19:07 45s
Merge pull request #38 from jverzani/issue_36 CI #65: Commit d879a33 pushed by jverzani
July 17, 2023 19:02 4m 57s main
main
July 17, 2023 19:02 4m 57s
close #36 TagBot #77: Issue comment #38 (comment) created by codecov bot
July 17, 2023 18:55 3s
July 17, 2023 18:55 3s
close #36 CI #64: Pull request #38 opened by jverzani
July 17, 2023 18:53 6m 1s issue_36
issue_36
July 17, 2023 18:53 6m 1s
pages build and deployment pages-build-deployment #26: by github-pages bot
July 17, 2023 18:36 44s
July 17, 2023 18:36 44s
Merge pull request #36 from jverzani/issue_35 CI #63: Commit f13f828 pushed by jverzani
July 17, 2023 18:32 4m 49s main
main
July 17, 2023 18:32 4m 49s
close #35 TagBot #76: Issue comment #36 (comment) created by codecov bot
July 17, 2023 18:29 3s
July 17, 2023 18:29 3s
close #35 CI #62: Pull request #36 opened by jverzani
July 17, 2023 18:26 4m 51s issue_35
issue_35
July 17, 2023 18:26 4m 51s
Does not work on Pluto :( TagBot #75: Issue comment #35 (comment) created by jverzani
July 17, 2023 14:29 3s
July 17, 2023 14:29 3s