Skip to content

Actions: CAIMEOX/caimeox.github.io

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Category Theory: Yoneda etc. github pages #55: Commit 1dfd564 pushed by CAIMEOX
February 2, 2025 15:34 3m 46s main
main
February 2, 2025 15:34 3m 46s
Notions of computation as Monoids github pages #54: Commit 6219624 pushed by CAIMEOX
January 30, 2025 15:42 3m 54s main
main
January 30, 2025 15:42 3m 54s
Algebraic Theories completed github pages #53: Commit 75f7903 pushed by CAIMEOX
January 29, 2025 15:07 3m 56s main
main
January 29, 2025 15:07 3m 56s
fix: update forester clone github pages #52: Commit cdc58ad pushed by CAIMEOX
January 28, 2025 15:00 3m 52s main
main
January 28, 2025 15:00 3m 52s
fix: update ocaml version github pages #51: Commit eb0b23a pushed by CAIMEOX
January 28, 2025 14:48 6m 40s main
main
January 28, 2025 14:48 6m 40s
Universal Algebra github pages #50: Commit b24abb9 pushed by CAIMEOX
January 28, 2025 14:17 17m 2s main
main
January 28, 2025 14:17 17m 2s
algebraic graphs: axioms github pages #49: Commit 51fe5e2 pushed by CAIMEOX
October 4, 2024 12:42 3m 58s main
main
October 4, 2024 12:42 3m 58s
Algebra Graphs github pages #48: Commit 9231d56 pushed by CAIMEOX
October 4, 2024 08:32 14m 5s main
main
October 4, 2024 08:32 14m 5s
CMTT: Contextual Validity github pages #47: Commit 837c9d0 pushed by CAIMEOX
August 30, 2024 13:56 3m 49s main
main
August 30, 2024 13:56 3m 49s
CMTT github pages #46: Commit f2d83c3 pushed by CAIMEOX
August 27, 2024 15:03 16m 59s main
main
August 27, 2024 15:03 16m 59s
update to Forester 4.3 github pages #45: Pull request #1 opened by CAIMEOX
August 27, 2024 12:36 16m 24s forester-4.3
forester-4.3
August 27, 2024 12:36 16m 24s
linear algebra update github pages #44: Commit 591bbe0 pushed by CAIMEOX
June 16, 2024 14:39 4m 10s main
main
June 16, 2024 14:39 4m 10s
improve navigation github pages #43: Commit 2fccfdc pushed by CAIMEOX
June 15, 2024 08:56 4m 57s main
main
June 15, 2024 08:56 4m 57s
universe and observational equality github pages #42: Commit b51b1a4 pushed by CAIMEOX
June 14, 2024 15:08 4m 12s main
main
June 14, 2024 15:08 4m 12s
update idenity types github pages #41: Commit ce90ad3 pushed by CAIMEOX
June 11, 2024 15:20 4m 18s main
main
June 11, 2024 15:20 4m 18s
update classical mechanics github pages #40: Commit 89f0c72 pushed by CAIMEOX
June 10, 2024 13:18 4m 34s main
main
June 10, 2024 13:18 4m 34s
fix npm ci github pages #39: Commit da4ee89 pushed by CAIMEOX
June 9, 2024 15:06 14m 50s main
main
June 9, 2024 15:06 14m 50s
fix libev github pages #38: Commit d46f68c pushed by CAIMEOX
June 9, 2024 14:44 11m 37s main
main
June 9, 2024 14:44 11m 37s
matrix github pages #37: Commit 2128448 pushed by CAIMEOX
June 9, 2024 14:28 12m 37s main
main
June 9, 2024 14:28 12m 37s
update to forester 4.0 github pages #36: Commit ab717b3 pushed by CAIMEOX
May 3, 2024 14:09 20m 29s main
main
May 3, 2024 14:09 20m 29s
complete Jacobian matrix github pages #35: Commit c53db2c pushed by CAIMEOX
April 5, 2024 12:26 9m 41s main
main
April 5, 2024 12:26 9m 41s
vector calculus github pages #34: Commit 6d8fb23 pushed by CAIMEOX
April 5, 2024 09:42 18m 18s main
main
April 5, 2024 09:42 18m 18s
monad github pages #33: Commit d7dc0e4 pushed by CAIMEOX
March 25, 2024 15:03 4m 3s main
main
March 25, 2024 15:03 4m 3s
basic step for ct github pages #32: Commit 0f732f8 pushed by CAIMEOX
March 21, 2024 15:01 4m 33s main
main
March 21, 2024 15:01 4m 33s
using static KaTeX render github pages #31: Commit ed50d7b pushed by CAIMEOX
March 16, 2024 09:12 4m 29s main
main
March 16, 2024 09:12 4m 29s