Skip to content

Actions: hairer/reconstruction

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'blueprint' of github.com:hairer/reconstruction into blu… .github/workflows/push.yml #9: Commit 1129c8e pushed by hairer
December 14, 2023 10:52 4m 10s blueprint
blueprint
December 14, 2023 10:52 4m 10s
Fix links and instructions in README .github/workflows/push.yml #8: Commit 943b9cb pushed by utensil
December 14, 2023 07:52 4m 39s blueprint
blueprint
December 14, 2023 07:52 4m 39s
Tell TeXShop to use lualatex .github/workflows/push.yml #7: Commit 52ee0d5 pushed by hairer
December 13, 2023 18:08 4m 32s blueprint
blueprint
December 13, 2023 18:08 4m 32s
Merge branch 'blueprint' of github.com:hairer/reconstruction into blu… .github/workflows/push.yml #6: Commit 93472b6 pushed by hairer
December 13, 2023 17:41 4m 57s blueprint
blueprint
December 13, 2023 17:41 4m 57s
Add demo in Lean/blueprint and misc fixes .github/workflows/push.yml #5: Commit 13069e5 pushed by utensil
December 13, 2023 15:34 4m 54s blueprint
blueprint
December 13, 2023 15:34 4m 54s
Add demo in Lean/blueprint and misc fixes .github/workflows/push.yml #4: Commit e1e6ebe pushed by utensil
December 13, 2023 15:16 4m 50s blueprint
blueprint
December 13, 2023 15:16 4m 50s
Initial setup of the blueprint, docs and the project page .github/workflows/push.yml #3: Commit 74d53b5 pushed by utensil
December 13, 2023 14:18 4m 45s blueprint
blueprint
December 13, 2023 14:18 4m 45s
lake -R -Kenv=dev update «doc-gen4» .github/workflows/push.yml #2: Commit e8c2781 pushed by utensil
December 13, 2023 08:08 5m 17s blueprint
blueprint
December 13, 2023 08:08 5m 17s
Initial setup of the blueprint, docs and the project page .github/workflows/push.yml #1: Commit dd44ed6 pushed by utensil
December 13, 2023 06:19 33s blueprint
blueprint
December 13, 2023 06:19 33s