Skip to content

Actions: WGUNDERWOOD/tex-fmt

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'develop'
CI #357: Commit bcefeaa pushed by WGUNDERWOOD
January 12, 2025 19:18 2m 37s main
January 12, 2025 19:18 2m 37s
Merge pull request #81 from bnctth/pre-commit
CI #356: Commit f2d256d pushed by WGUNDERWOOD
January 12, 2025 19:17 2m 40s develop
January 12, 2025 19:17 2m 40s
Create pre-commit hook for running tex-fmt
CI #355: Pull request #81 synchronize by bnctth
January 12, 2025 18:17 2m 37s bnctth:pre-commit
January 12, 2025 18:17 2m 37s
README
CI #354: Commit ea496d3 pushed by WGUNDERWOOD
January 12, 2025 18:14 2m 38s main
January 12, 2025 18:14 2m 38s
pages build and deployment
pages-build-deployment #8: by github-pages bot
January 12, 2025 18:11 25s gh-pages
January 12, 2025 18:11 25s
Whitespace format
CI #353: Commit 53482bd pushed by WGUNDERWOOD
January 12, 2025 18:10 2m 44s main
January 12, 2025 18:10 2m 44s
Whitespace format
CI #352: Commit 53482bd pushed by WGUNDERWOOD
January 12, 2025 18:10 2m 44s develop
January 12, 2025 18:10 2m 44s
rustfmt and shellinstall
CI #351: Commit f85c94f pushed by WGUNDERWOOD
January 12, 2025 18:03 2m 37s develop
January 12, 2025 18:03 2m 37s
Merge pull request #82 from bnctth/fail-on-change
CI #350: Commit 62fe6a3 pushed by WGUNDERWOOD
January 12, 2025 18:02 2m 38s develop
January 12, 2025 18:02 2m 38s
Add option --fail-on-change
CI #349: Pull request #82 opened by bnctth
January 12, 2025 17:52 2m 50s bnctth:fail-on-change
January 12, 2025 17:52 2m 50s
pages build and deployment
pages-build-deployment #7: by github-pages bot
January 12, 2025 17:40 26s gh-pages
January 12, 2025 17:40 26s
Add copy message to web page
CI #347: Commit 5679ae1 pushed by WGUNDERWOOD
January 12, 2025 17:39 2m 46s develop
January 12, 2025 17:39 2m 46s
Add copy message to web page
CI #346: Commit 5679ae1 pushed by WGUNDERWOOD
January 12, 2025 17:39 2m 47s main
January 12, 2025 17:39 2m 47s
pages build and deployment
pages-build-deployment #6: by github-pages bot
January 12, 2025 17:07 24s gh-pages
January 12, 2025 17:07 24s
Use web fonts
CI #345: Commit 98db077 pushed by WGUNDERWOOD
January 12, 2025 17:06 2m 36s main
January 12, 2025 17:06 2m 36s
pages build and deployment
pages-build-deployment #5: by github-pages bot
January 12, 2025 17:00 24s gh-pages
January 12, 2025 17:00 24s
Add logo to web page
CI #344: Commit 66dcaf1 pushed by WGUNDERWOOD
January 12, 2025 16:59 2m 37s main
January 12, 2025 16:59 2m 37s
pages build and deployment
pages-build-deployment #4: by github-pages bot
January 12, 2025 16:47 28s gh-pages
January 12, 2025 16:47 28s
Update flex boxes
CI #343: Commit 3d2dfb4 pushed by WGUNDERWOOD
January 12, 2025 16:46 2m 47s main
January 12, 2025 16:46 2m 47s
pages build and deployment
pages-build-deployment #3: by github-pages bot
January 12, 2025 13:56 26s gh-pages
January 12, 2025 13:56 26s
CSS
CI #342: Commit 34a35c1 pushed by WGUNDERWOOD
January 12, 2025 13:55 2m 36s main
January 12, 2025 13:55 2m 36s
CSS
CI #341: Commit 34a35c1 pushed by WGUNDERWOOD
January 12, 2025 13:54 2m 43s develop
January 12, 2025 13:54 2m 43s
Improve html tag names
CI #340: Commit 46b5c88 pushed by WGUNDERWOOD
January 12, 2025 13:31 2m 36s develop
January 12, 2025 13:31 2m 36s
Notes
CI #339: Commit defb99a pushed by WGUNDERWOOD
January 12, 2025 13:11 2m 51s main
January 12, 2025 13:11 2m 51s
Notes
CI #338: Commit defb99a pushed by WGUNDERWOOD
January 12, 2025 13:08 3m 41s develop
January 12, 2025 13:08 3m 41s