Skip to content

Actions: anoma/vscode-juvix

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
save some progress CI #404: Commit 24dc0f5 pushed by jonaprieto
July 22, 2024 21:39 57s more-md-fixes
more-md-fixes
July 22, 2024 21:39 57s
Fix config.ts: read settings and not use internal-build-dir by defaul… CI #403: Commit 771080b pushed by jonaprieto
July 18, 2024 15:56 54s main
main
July 18, 2024 15:56 54s
Fix config.ts: read settings and not use internal-build-dir by default CI #402: Pull request #132 synchronize by jonaprieto
July 17, 2024 16:29 50s no-build-dir
no-build-dir
July 17, 2024 16:29 50s
Run npm run pretty CI #401: Commit c5d061f pushed by jonaprieto
July 17, 2024 16:29 50s no-build-dir
no-build-dir
July 17, 2024 16:29 50s
Fix config.ts: read settings and not use internal-build-dir by default CI #400: Pull request #132 ready_for_review by jonaprieto
July 16, 2024 15:05 1m 17s no-build-dir
no-build-dir
July 16, 2024 15:05 1m 17s
Fix config.ts: read settings and not use internal-build-dir by default CI #399: Pull request #132 synchronize by jonaprieto
July 16, 2024 15:05 23s no-build-dir
no-build-dir
July 16, 2024 15:05 23s
Merge branch 'main' into no-build-dir CI #398: Commit a8ac790 pushed by jonaprieto
July 16, 2024 15:05 1m 1s no-build-dir
no-build-dir
July 16, 2024 15:05 1m 1s
Remove VampIR support (#131) CI #397: Commit bda1d07 pushed by jonaprieto
July 16, 2024 15:03 55s main
main
July 16, 2024 15:03 55s
Remove VampIR support CI #396: Pull request #131 ready_for_review by jonaprieto
July 16, 2024 15:02 54s remove-vampir
remove-vampir
July 16, 2024 15:02 54s
Fix config.ts: read settings and not use internal-build-dir by default CI #395: Pull request #132 synchronize by jonaprieto
July 16, 2024 02:59 58s no-build-dir
no-build-dir
July 16, 2024 02:59 58s
minor CI #394: Commit 5d4fbed pushed by jonaprieto
July 16, 2024 02:59 55s no-build-dir
no-build-dir
July 16, 2024 02:59 55s
Fix config.ts: read settings and not use internal-build-dir by default CI #393: Pull request #132 opened by jonaprieto
July 16, 2024 02:38 47s no-build-dir
no-build-dir
July 16, 2024 02:38 47s
Fix setting options CI #392: Commit 07a063b pushed by jonaprieto
July 16, 2024 02:36 48s no-build-dir
no-build-dir
July 16, 2024 02:36 48s
Remove VampIR support CI #391: Pull request #131 opened by jonaprieto
July 16, 2024 00:33 1m 1s remove-vampir
remove-vampir
July 16, 2024 00:33 1m 1s
Remove VampIR support CI #390: Commit 009f030 pushed by jonaprieto
July 16, 2024 00:33 58s remove-vampir
remove-vampir
July 16, 2024 00:33 58s
v0.2.0 CI #389: Release v0.2.0 published by jonaprieto
July 15, 2024 17:51 1m 38s
July 15, 2024 17:51 1m 38s