Skip to content

Actions: cowuake/schemius

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
745 workflow runs
745 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #41: by github-pages bot
March 25, 2024 07:33 22s
March 25, 2024 07:33 22s
Add charset meta tag
Deploy Schemius web client #54: Commit 5e66037 pushed by cowuake
March 25, 2024 07:31 2m 26s main
March 25, 2024 07:31 2m 26s
Add cloc utility to devcontainer
Deploy Schemius web client #53: Commit a86b159 pushed by cowuake
March 24, 2024 17:44 2m 24s main
March 24, 2024 17:44 2m 24s
Add VSCode extensions for devcontainer
Deploy Schemius web client #52: Commit d185d3e pushed by cowuake
March 24, 2024 17:28 2m 17s main
March 24, 2024 17:28 2m 17s
pages build and deployment
pages-build-deployment #40: by github-pages bot
March 24, 2024 17:15 31s
March 24, 2024 17:15 31s
Remove unreachable patterns
Deploy Schemius web client #51: Commit 80f1431 pushed by cowuake
March 24, 2024 17:13 2m 24s main
March 24, 2024 17:13 2m 24s
pages build and deployment
pages-build-deployment #39: by github-pages bot
March 24, 2024 17:05 36s
March 24, 2024 17:05 36s
Avoid pattern matching with function pointers
Deploy Schemius web client #50: Commit b855d6e pushed by cowuake
March 24, 2024 17:02 2m 20s main
March 24, 2024 17:02 2m 20s
Add useful aliases for devcontainer
Deploy Schemius web client #49: Commit c9f0901 pushed by cowuake
March 24, 2024 16:16 2m 30s main
March 24, 2024 16:16 2m 30s
Change keymap from Emacs to Vim for devcontainer
Deploy Schemius web client #48: Commit 3b2bc2c pushed by cowuake
March 24, 2024 13:19 2m 35s main
March 24, 2024 13:19 2m 35s
Improve devcontainer setup draft (pt. II)
Deploy Schemius web client #47: Commit bc86491 pushed by cowuake
March 24, 2024 12:56 2m 28s main
March 24, 2024 12:56 2m 28s
Improved devcontainer setup draft
Deploy Schemius web client #46: Commit 6b7fc8c pushed by cowuake
March 24, 2024 12:55 2m 29s main
March 24, 2024 12:55 2m 29s
pages build and deployment
pages-build-deployment #38: by github-pages bot
March 24, 2024 11:05 23s
March 24, 2024 11:05 23s
Draft devcontainer configuration
Deploy Schemius web client #45: Commit 3565fac pushed by cowuake
March 24, 2024 11:03 2m 30s main
March 24, 2024 11:03 2m 30s
Ignoring two unit tests until due implementations
Deploy Schemius web client #44: Commit 0ca969f pushed by cowuake
November 30, 2023 07:35 2m 26s main
November 30, 2023 07:35 2m 26s
pages build and deployment
pages-build-deployment #37: by github-pages bot
November 29, 2023 09:56 27s
November 29, 2023 09:56 27s
Improved fix over Int -> BigInt promotion
Deploy Schemius web client #43: Commit 94d3c33 pushed by cowuake
November 29, 2023 09:53 2m 29s main
November 29, 2023 09:53 2m 29s
pages build and deployment
pages-build-deployment #36: by github-pages bot
November 29, 2023 09:01 29s
November 29, 2023 09:01 29s
Fixed bug (promotion from Int to BigInt)
Deploy Schemius web client #42: Commit 8ca93aa pushed by cowuake
November 29, 2023 08:59 2m 20s main
November 29, 2023 08:59 2m 20s
Followed a few compiler's hints
Deploy Schemius web client #41: Commit a03baef pushed by cowuake
November 27, 2023 12:32 2m 35s main
November 27, 2023 12:32 2m 35s
pages build and deployment
pages-build-deployment #35: by github-pages bot
November 25, 2023 16:13 28s
November 25, 2023 16:13 28s
Improved quasiquoting
Deploy Schemius web client #40: Commit c35537a pushed by cowuake
November 25, 2023 16:11 2m 33s main
November 25, 2023 16:11 2m 33s
Modified debug settings for VSCode
Deploy Schemius web client #39: Commit 0652d51 pushed by cowuake
November 25, 2023 15:39 2m 29s main
November 25, 2023 15:39 2m 29s
pages build and deployment
pages-build-deployment #34: by github-pages bot
November 25, 2023 15:18 31s
November 25, 2023 15:18 31s
Increased font size for desktop web client
Deploy Schemius web client #38: Commit 76c3c60 pushed by cowuake
November 25, 2023 15:16 2m 30s main
November 25, 2023 15:16 2m 30s
ProTip! You can narrow down the results and go further in time using created:<2023-11-25 or the other filters available.