Skip to content

Actions: danilopedraza/komodo

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
core-ci.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

#96 - stop setting a channel for nixpkgs CI #31: Commit bc30133 pushed by danilopedraza
February 18, 2025 13:39 10m 3s main
main
February 18, 2025 13:39 10m 3s
#96 - create shell and Makefile for vsc extension CI #30: Commit 48d5d51 pushed by danilopedraza
February 17, 2025 20:31 8m 19s main
main
February 17, 2025 20:31 8m 19s
v0.4.0 CI #29: Commit 8956038 pushed by danilopedraza
February 17, 2025 01:48 11m 32s main
main
February 17, 2025 01:48 11m 32s
deploy vsc extension in a separate job CI #28: Commit 15fa09d pushed by danilopedraza
February 16, 2025 23:33 7m 44s main
main
February 16, 2025 23:33 7m 44s
extend dict-struct example CI #27: Commit 8a3d2bb pushed by danilopedraza
February 16, 2025 23:04 7m 51s main
main
February 16, 2025 23:04 7m 51s
#86 - improve explanation on mutability CI #26: Commit d4903a1 pushed by danilopedraza
February 12, 2025 21:51 8m 24s main
main
February 12, 2025 21:51 8m 24s
add fonts to shell.nix CI #25: Commit 7a33666 pushed by danilopedraza
February 12, 2025 21:48 8m 0s main
main
February 12, 2025 21:48 8m 0s
#86 - put grammar terminals in typst raw font CI #24: Commit cb71adf pushed by danilopedraza
February 12, 2025 21:36 9m 0s main
main
February 12, 2025 21:36 9m 0s
#86 - add numeric tower section, allow precedence table to split CI #23: Commit 5b64f02 pushed by danilopedraza
February 11, 2025 15:28 8m 29s main
main
February 11, 2025 15:28 8m 29s
#86 - add rules for calls and lambdas CI #22: Commit 9776e85 pushed by danilopedraza
February 11, 2025 01:06 9m 14s main
main
February 11, 2025 01:06 9m 14s
#86 - add precedence table CI #21: Commit 238300f pushed by danilopedraza
February 11, 2025 01:02 8m 19s main
main
February 11, 2025 01:02 8m 19s
#86 - more grammar rules CI #20: Commit aae057c pushed by danilopedraza
February 11, 2025 00:25 8m 16s main
main
February 11, 2025 00:25 8m 16s
#86 - replace word CI #19: Commit 2a05cca pushed by danilopedraza
February 6, 2025 23:23 8m 53s main
main
February 6, 2025 23:23 8m 53s
#86 - start counting pages after the index, do not display large sect… CI #18: Commit 85323ba pushed by danilopedraza
February 6, 2025 22:03 10m 38s main
main
February 6, 2025 22:03 10m 38s
#86 - improve installer section CI #17: Commit 5ace614 pushed by danilopedraza
February 6, 2025 14:49 9m 59s main
main
February 6, 2025 14:49 9m 59s
#86 - complete remaining sections CI #16: Commit a7a2163 pushed by danilopedraza
February 5, 2025 23:19 8m 15s main
main
February 5, 2025 23:19 8m 15s
#86 - add more sections to the misc section, change some text there CI #15: Commit e965666 pushed by danilopedraza
February 5, 2025 13:53 8m 36s main
main
February 5, 2025 13:53 8m 36s
#86 - add university logo to front page and spacing, add more info to… CI #14: Commit 3c23636 pushed by danilopedraza
February 4, 2025 16:14 10m 22s main
main
February 4, 2025 16:14 10m 22s
#86 - complete lists section CI #13: Commit 4190a4e pushed by danilopedraza
February 4, 2025 00:07 10m 56s main
main
February 4, 2025 00:07 10m 56s
#86 - improve the explanation on the empty tuple and numbers CI #12: Commit 47f175f pushed by danilopedraza
January 31, 2025 14:39 10m 39s main
main
January 31, 2025 14:39 10m 39s
#86 - add details on the unit type and integers CI #11: Commit 015af30 pushed by danilopedraza
January 30, 2025 19:14 8m 28s main
main
January 30, 2025 19:14 8m 28s
increase time limit for interpreter tests CI #10: Commit 4b40326 pushed by danilopedraza
January 30, 2025 16:47 9m 27s main
main
January 30, 2025 16:47 9m 27s
remove tests from deploy workflow and rename the file CI #9: Commit d6644fa pushed by danilopedraza
January 30, 2025 16:45 1m 33s main
main
January 30, 2025 16:45 1m 33s
#95 - check for correct patterns where allowed, forbid them where not… CI #8: Commit 976cfc7 pushed by danilopedraza
January 29, 2025 22:45 10m 27s main
main
January 29, 2025 22:45 10m 27s
change dir with config, rename some steps CI #7: Commit 784fbad pushed by danilopedraza
January 24, 2025 14:21 10m 30s main
main
January 24, 2025 14:21 10m 30s