Skip to content

Actions: momeemt/wascaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #33: by github-pages bot
August 15, 2024 05:20 31s
August 15, 2024 05:20 31s
wip: add equal for linked list Generate Documents #52: Commit 780358e pushed by momeemt
August 15, 2024 05:19 1m 11s main
main
August 15, 2024 05:19 1m 11s
wip: add equal for linked list CI #54: Commit 780358e pushed by momeemt
August 15, 2024 05:19 2m 42s main
main
August 15, 2024 05:19 2m 42s
pages build and deployment pages-build-deployment #32: by github-pages bot
August 15, 2024 00:39 23s
August 15, 2024 00:39 23s
add: ast with inferred types CI #53: Commit 5f27c45 pushed by momeemt
August 15, 2024 00:38 2m 22s main
main
August 15, 2024 00:38 2m 22s
add: ast with inferred types Generate Documents #51: Commit 5f27c45 pushed by momeemt
August 15, 2024 00:38 1m 10s main
main
August 15, 2024 00:38 1m 10s
add: simple performance sanitizer for appending 1-elem linked list CI #52: Commit 85eb490 pushed by momeemt
August 14, 2024 06:38 2m 50s main
main
August 14, 2024 06:38 2m 50s
add: simple performance sanitizer for appending 1-elem linked list Generate Documents #50: Commit 85eb490 pushed by momeemt
August 14, 2024 06:38 1m 3s main
main
August 14, 2024 06:38 1m 3s
pages build and deployment pages-build-deployment #31: by github-pages bot
August 14, 2024 03:08 30s
August 14, 2024 03:08 30s
add: list_append CI #51: Commit cd12905 pushed by momeemt
August 14, 2024 03:07 2m 28s main
main
August 14, 2024 03:07 2m 28s
add: list_append Generate Documents #49: Commit cd12905 pushed by momeemt
August 14, 2024 03:07 1m 4s main
main
August 14, 2024 03:07 1m 4s
pages build and deployment pages-build-deployment #30: by github-pages bot
August 14, 2024 02:33 27s
August 14, 2024 02:33 27s
add: list_copy CI #50: Commit 2ffb11f pushed by momeemt
August 14, 2024 02:32 2m 17s main
main
August 14, 2024 02:32 2m 17s
add: list_copy Generate Documents #48: Commit 2ffb11f pushed by momeemt
August 14, 2024 02:32 1m 5s main
main
August 14, 2024 02:32 1m 5s
pages build and deployment pages-build-deployment #29: by github-pages bot
August 14, 2024 00:50 22s
August 14, 2024 00:50 22s
wip: add list_append CI #49: Commit 4c844ba pushed by momeemt
August 14, 2024 00:49 2m 2s main
main
August 14, 2024 00:49 2m 2s
wip: add list_append Generate Documents #47: Commit 4c844ba pushed by momeemt
August 14, 2024 00:49 1m 6s main
main
August 14, 2024 00:49 1m 6s
fix: missing load instr CI #48: Commit 79ba761 pushed by momeemt
August 13, 2024 10:57 2m 28s main
main
August 13, 2024 10:57 2m 28s
fix: missing load instr Generate Documents #46: Commit 79ba761 pushed by momeemt
August 13, 2024 10:57 1m 2s main
main
August 13, 2024 10:57 1m 2s
pages build and deployment pages-build-deployment #28: by github-pages bot
August 13, 2024 08:21 25s
August 13, 2024 08:21 25s
add: simple performance sanitizer for random access CI #47: Commit 6e8726e pushed by momeemt
August 13, 2024 08:20 2m 41s main
main
August 13, 2024 08:20 2m 41s
add: simple performance sanitizer for random access Generate Documents #45: Commit 6e8726e pushed by momeemt
August 13, 2024 08:20 1m 11s main
main
August 13, 2024 08:20 1m 11s
pages build and deployment pages-build-deployment #27: by github-pages bot
August 13, 2024 06:14 26s
August 13, 2024 06:14 26s
change: codegen with type data Generate Documents #44: Commit e28f48f pushed by momeemt
August 13, 2024 06:13 1m 8s main
main
August 13, 2024 06:13 1m 8s
change: codegen with type data CI #46: Commit e28f48f pushed by momeemt
August 13, 2024 06:13 3m 3s main
main
August 13, 2024 06:13 3m 3s