Skip to content

Actions: anoma/vscode-juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
310 workflow runs
310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

w.i.p CI #420: Commit d8fb741 pushed by jonaprieto
July 24, 2024 19:42 52s fix-problem-matchers
fix-problem-matchers
July 24, 2024 19:42 52s
PR #136 CodeQL #224: by jonaprieto
July 24, 2024 18:26 1m 35s refs/pull/136/head
refs/pull/136/head
July 24, 2024 18:26 1m 35s
Remove --only-errors flag, replaced by --log-level CI #419: Pull request #136 opened by jonaprieto
July 24, 2024 18:26 58s log-level-flag
log-level-flag
July 24, 2024 18:26 58s
Remove --only-errors flag, replaced by --log-level CI #418: Commit 7a6661b pushed by jonaprieto
July 24, 2024 18:20 1m 7s log-level-flag
log-level-flag
July 24, 2024 18:20 1m 7s
v0.2.1 CI #417: Release v0.2.1 published by jonaprieto
July 23, 2024 05:37 1m 25s
July 23, 2024 05:37 1m 25s
Push on main CodeQL #223: by jonaprieto
July 23, 2024 05:34 1m 0s main
main
July 23, 2024 05:34 1m 0s
Bump Juvix req. version to 0.6.4 CI #416: Commit da98356 pushed by jonaprieto
July 23, 2024 05:34 1m 4s main
main
July 23, 2024 05:34 1m 4s
Remove GEB support (#135) CI #415: Commit 3837658 pushed by jonaprieto
July 23, 2024 05:29 58s main
main
July 23, 2024 05:29 58s
Push on main CodeQL #222: by jonaprieto
July 23, 2024 05:29 1m 12s main
main
July 23, 2024 05:29 1m 12s
PR #135 CodeQL #221: by jonaprieto
July 23, 2024 05:27 1m 15s refs/pull/135/head
refs/pull/135/head
July 23, 2024 05:27 1m 15s
Remove GEB support CI #414: Pull request #135 synchronize by jonaprieto
July 23, 2024 05:27 56s remove-geb
remove-geb
July 23, 2024 05:27 56s
Change run by eval CI #413: Commit 4c0f97b pushed by jonaprieto
July 23, 2024 05:27 53s remove-geb
remove-geb
July 23, 2024 05:27 53s
PR #135 CodeQL #220: by jonaprieto
July 23, 2024 05:15 1m 5s refs/pull/135/head
refs/pull/135/head
July 23, 2024 05:15 1m 5s
Remove GEB support CI #412: Pull request #135 synchronize by jonaprieto
July 23, 2024 05:15 42s remove-geb
remove-geb
July 23, 2024 05:15 42s
Merge branch 'main' into remove-geb CI #411: Commit bd79af2 pushed by jonaprieto
July 23, 2024 05:15 49s remove-geb
remove-geb
July 23, 2024 05:15 49s
Push on main CodeQL #219: by jonaprieto
July 23, 2024 05:15 1m 6s main
main
July 23, 2024 05:15 1m 6s
Use Juvix line comment by default in Juvix Markdown and language-conf… CI #410: Commit 0bac5b1 pushed by jonaprieto
July 23, 2024 05:15 56s main
main
July 23, 2024 05:15 56s
PR #135 CodeQL #218: by jonaprieto
July 23, 2024 05:14 1m 2s refs/pull/135/head
refs/pull/135/head
July 23, 2024 05:14 1m 2s
Remove GEB support CI #409: Pull request #135 opened by jonaprieto
July 23, 2024 05:14 46s remove-geb
remove-geb
July 23, 2024 05:14 46s
Remove GEB support CI #408: Commit f2a8f43 pushed by jonaprieto
July 23, 2024 05:14 47s remove-geb
remove-geb
July 23, 2024 05:14 47s
PR #134 CodeQL #217: by jonaprieto
July 23, 2024 05:06 1m 8s refs/pull/134/head
refs/pull/134/head
July 23, 2024 05:06 1m 8s
Use Juvix line comment by default in Juvix Markdown and language-configuration changes CI #407: Pull request #134 synchronize by jonaprieto
July 23, 2024 05:06 53s more-md-fixes
more-md-fixes
July 23, 2024 05:06 53s
chore: Bump version to 0.2.1 in package.json CI #406: Commit af69f8d pushed by jonaprieto
July 23, 2024 05:06 1m 3s more-md-fixes
more-md-fixes
July 23, 2024 05:06 1m 3s
Use Juvix line comment by default in Juvix Markdown and language-configuration changes CI #405: Pull request #134 opened by jonaprieto
July 23, 2024 05:05 56s more-md-fixes
more-md-fixes
July 23, 2024 05:05 56s
PR #134 CodeQL #216: by jonaprieto
July 23, 2024 05:05 1m 13s refs/pull/134/head
refs/pull/134/head
July 23, 2024 05:05 1m 13s