Skip to content

Actions: mobusoperandi/website

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #239 from mobusoperandi/work
.github/workflows/ci.yml #984: Commit 7232078 pushed by mightyiam
October 17, 2023 14:22 2m 19s master
October 17, 2023 14:22 2m 19s
Work
.github/workflows/ci.yml #983: Pull request #239 synchronize by mightyiam
October 17, 2023 14:18 4m 6s work
October 17, 2023 14:18 4m 6s
add build subcommand
.github/workflows/ci.yml #982: Commit 165921e pushed by mightyiam
October 17, 2023 14:18 2m 2s work
October 17, 2023 14:18 2m 2s
Work
.github/workflows/ci.yml #981: Pull request #239 opened by ModProg
October 17, 2023 14:16 41m 12s work
October 17, 2023 14:16 41m 12s
add build subcommand
.github/workflows/ci.yml #980: Commit beb1080 pushed by ModProg
October 17, 2023 14:16 2m 1s work
October 17, 2023 14:16 2m 1s
pages build and deployment
pages-build-deployment #309: by github-pages bot
October 14, 2023 05:16 50s gh-pages
October 14, 2023 05:16 50s
Merge pull request #238 from mobusoperandi/agda_now
.github/workflows/ci.yml #979: Commit 1e22911 pushed by mightyiam
October 14, 2023 05:14 2m 14s master
October 14, 2023 05:14 2m 14s
agda now time
.github/workflows/ci.yml #978: Pull request #238 opened by mightyiam
October 14, 2023 05:10 3m 4s agda_now
October 14, 2023 05:10 3m 4s
agda now time
.github/workflows/ci.yml #977: Commit adf4cdb pushed by mightyiam
October 14, 2023 05:10 2m 14s agda_now
October 14, 2023 05:10 2m 14s
ssg: move some code around
.github/workflows/ci.yml #976: Commit 7d6a842 pushed by ModProg
October 12, 2023 14:43 2m 8s work
October 12, 2023 14:43 2m 8s
ssg: move some code around
.github/workflows/ci.yml #975: Commit 7c9fdd8 pushed by mightyiam
October 12, 2023 14:27 2m 23s work
October 12, 2023 14:27 2m 23s
merge App and Parent
.github/workflows/ci.yml #974: Commit 15104b8 pushed by ModProg
October 12, 2023 14:19 1m 50s work
October 12, 2023 14:19 1m 50s
ssg parent struct
.github/workflows/ci.yml #973: Commit b7ebeab pushed by mightyiam
October 12, 2023 13:46 2m 32s work
October 12, 2023 13:46 2m 32s
ssg parent struct
.github/workflows/ci.yml #972: Commit b7ebeab pushed by ClarkeRemy
October 12, 2023 13:38 2m 31s parent-struct
October 12, 2023 13:38 2m 31s
Merge pull request #237 from mobusoperandi/cargo_run_bimn
.github/workflows/ci.yml #971: Commit 368e5f1 pushed by ModProg
October 12, 2023 13:24 2m 16s parent-struct
October 12, 2023 13:24 2m 16s
pages build and deployment
pages-build-deployment #308: by github-pages bot
October 10, 2023 14:10 50s gh-pages
October 10, 2023 14:10 50s
Merge pull request #237 from mobusoperandi/cargo_run_bimn
.github/workflows/ci.yml #970: Commit 368e5f1 pushed by ClarkeRemy
October 10, 2023 14:06 4m 15s master
October 10, 2023 14:06 4m 15s
build: rm relic mentions of cargo-run-bin
.github/workflows/ci.yml #969: Pull request #237 opened by mightyiam
October 10, 2023 13:59 6m 6s cargo_run_bimn
October 10, 2023 13:59 6m 6s
build: rm relic mentions of cargo-run-bin
.github/workflows/ci.yml #968: Commit 2533a13 pushed by mightyiam
October 10, 2023 13:59 3m 55s cargo_run_bimn
October 10, 2023 13:59 3m 55s
Merge pull request #236 from mobusoperandi/rm-cargo-watch-dev-dep
.github/workflows/ci.yml #967: Commit 4c7173a pushed by ClarkeRemy
October 10, 2023 13:50 2m 3s cargo_run_bimn
October 10, 2023 13:50 2m 3s
pages build and deployment
pages-build-deployment #307: by github-pages bot
October 10, 2023 13:49 1m 34s gh-pages
October 10, 2023 13:49 1m 34s
Merge pull request #236 from mobusoperandi/rm-cargo-watch-dev-dep
.github/workflows/ci.yml #966: Commit 4c7173a pushed by mightyiam
October 10, 2023 13:45 3m 32s master
October 10, 2023 13:45 3m 32s
pages build and deployment
pages-build-deployment #306: by github-pages bot
October 10, 2023 13:43 59s gh-pages
October 10, 2023 13:43 59s
build: rm unused cargo-watch dev-dep
.github/workflows/ci.yml #965: Pull request #236 synchronize by mightyiam
October 10, 2023 13:41 4m 0s rm-cargo-watch-dev-dep
October 10, 2023 13:41 4m 0s
build: rm unused cargo-watch dev-dep
.github/workflows/ci.yml #964: Commit 17c40b2 pushed by mightyiam
October 10, 2023 13:41 2m 48s rm-cargo-watch-dev-dep
October 10, 2023 13:41 2m 48s