Skip to content

Actions: hairer/reconstruction

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from hairer/blueprint .github/workflows/push_pr.yml #20: Commit 5c72088 pushed by utensil
December 14, 2023 11:44 1m 2s main
main
December 14, 2023 11:44 1m 2s
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #19: Pull request #1 synchronize by utensil
December 14, 2023 11:40 1m 14s blueprint
blueprint
December 14, 2023 11:40 1m 14s
Remove the blueprint branch from CI .github/workflows/push_pr.yml #18: Commit 5ed1aef pushed by utensil
December 14, 2023 11:40 1m 5s blueprint
blueprint
December 14, 2023 11:40 1m 5s
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #17: Pull request #1 synchronize by hairer
December 14, 2023 10:52 1m 5s blueprint
blueprint
December 14, 2023 10:52 1m 5s
Merge branch 'blueprint' of github.com:hairer/reconstruction into blu… .github/workflows/push_pr.yml #16: Commit 1129c8e pushed by hairer
December 14, 2023 10:52 1m 8s blueprint
blueprint
December 14, 2023 10:52 1m 8s
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
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #15: Pull request #1 synchronize by utensil
December 14, 2023 07:52 1m 2s blueprint
blueprint
December 14, 2023 07:52 1m 2s
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
Fix links and instructions in README .github/workflows/push_pr.yml #14: Commit 943b9cb pushed by utensil
December 14, 2023 07:52 1m 1s blueprint
blueprint
December 14, 2023 07:52 1m 1s
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #13: Pull request #1 synchronize by hairer
December 13, 2023 18:08 1m 21s blueprint
blueprint
December 13, 2023 18:08 1m 21s
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
Tell TeXShop to use lualatex .github/workflows/push_pr.yml #12: Commit 52ee0d5 pushed by hairer
December 13, 2023 18:08 1m 13s blueprint
blueprint
December 13, 2023 18:08 1m 13s
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #11: Pull request #1 synchronize by hairer
December 13, 2023 17:41 1m 12s blueprint
blueprint
December 13, 2023 17:41 1m 12s
Merge branch 'blueprint' of github.com:hairer/reconstruction into blu… .github/workflows/push_pr.yml #10: Commit 93472b6 pushed by hairer
December 13, 2023 17:41 1m 15s blueprint
blueprint
December 13, 2023 17:41 1m 15s
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
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #9: Pull request #1 synchronize by utensil
December 13, 2023 15:34 1m 7s blueprint
blueprint
December 13, 2023 15:34 1m 7s
Add demo in Lean/blueprint and misc fixes .github/workflows/push_pr.yml #8: Commit 13069e5 pushed by utensil
December 13, 2023 15:34 1m 8s blueprint
blueprint
December 13, 2023 15:34 1m 8s
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
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #7: Pull request #1 synchronize by utensil
December 13, 2023 15:16 1m 8s blueprint
blueprint
December 13, 2023 15:16 1m 8s
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
Add demo in Lean/blueprint and misc fixes .github/workflows/push_pr.yml #6: Commit e1e6ebe pushed by utensil
December 13, 2023 15:16 1m 8s blueprint
blueprint
December 13, 2023 15:16 1m 8s
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #5: Pull request #1 synchronize by utensil
December 13, 2023 14:18 1m 7s blueprint
blueprint
December 13, 2023 14:18 1m 7s
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #4: Commit 74d53b5 pushed by utensil
December 13, 2023 14:18 1m 8s blueprint
blueprint
December 13, 2023 14:18 1m 8s
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
Initial setup of the blueprint, docs and the project page .github/workflows/push_pr.yml #3: Pull request #1 opened by utensil
December 13, 2023 08:45 1m 7s blueprint
blueprint
December 13, 2023 08:45 1m 7s