Skip to content

Actions: jakewilliami/CodingTheory.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #17: by github-pages bot
41s gh-pages
gh-pages
41s
Add time-relevant permalink to reference to Hecke.jl CI #266: Commit 4d2b418 pushed by jakewilliami
2m 59s master
master
2m 59s
pages build and deployment pages-build-deployment #16: by github-pages bot
46s gh-pages
gh-pages
46s
Update JuliaFormatter to not require return statement CI #265: Commit 52554f8 pushed by jakewilliami
10m 14s master
master
10m 14s
pages build and deployment pages-build-deployment #15: by github-pages bot
37s gh-pages
gh-pages
37s
Add example subproject CI #264: Commit 4f6c7c0 pushed by jakewilliami
27m 21s master
master
27m 21s
pages build and deployment pages-build-deployment #14: by github-pages bot
45s gh-pages
gh-pages
45s
Remove sources from subprojects CI #263: Commit f44a189 pushed by jakewilliami
18m 16s master
master
18m 16s
pages build and deployment pages-build-deployment #13: by github-pages bot
39s gh-pages
gh-pages
39s
Add local CodingTheory path to development projects CI #262: Commit c65c5d8 pushed by jakewilliami
18m 32s master
master
18m 32s
pages build and deployment pages-build-deployment #12: by github-pages bot
41s gh-pages
gh-pages
41s
Prefer just fmt and paths-filter over julia-formatter action CI #261: Commit 7ad9a05 pushed by jakewilliami
15m 36s master
master
15m 36s
Prefer just fmt and paths-filter over julia-formatter action CI #260: Commit 963a446 pushed by jakewilliami
1m 48s master
master
1m 48s
Prefer just fmt and paths-filter over julia-formatter action CI #259: Commit 7024a43 pushed by jakewilliami
2m 34s master
master
2m 34s
Prefer just fmt and paths-filter over julia-formatter action CI #258: Commit 7227c6d pushed by jakewilliami
2m 30s master
master
2m 30s
Prefer just fmt and paths-filter over julia-formatter action CI #257: Commit 720be40 pushed by jakewilliami
45s master
master
45s
pages build and deployment pages-build-deployment #11: by github-pages bot
41s gh-pages
gh-pages
41s
Prefer just fmt and paths-filter over julia-formatter action CI #256: Commit 0396e99 pushed by jakewilliami
3m 52s master
master
3m 52s
Prefer just fmt and paths-filter over julia-formatter action CI #255: Commit 69dd4d6 pushed by jakewilliami
1m 17s master
master
1m 17s
Prefer just fmt and paths-filter over julia-formatter action CI #254: Commit ba9d553 pushed by jakewilliami
2m 39s master
master
2m 39s
pages build and deployment pages-build-deployment #10: by github-pages bot
42s gh-pages
gh-pages
42s
Ignore Manifest.toml and delete dev directory CI #253: Commit d4c8c74 pushed by jakewilliami
17m 47s master
master
17m 47s
pages build and deployment pages-build-deployment #9: by github-pages bot
39s gh-pages
gh-pages
39s
pages build and deployment pages-build-deployment #8: by github-pages bot
37s gh-pages
gh-pages
37s
Fix CI badge CI #252: Commit f248d85 pushed by jakewilliami
18m 29s master
master
18m 29s