Skip to content

Actions: Paul-Lez/PersistentDecomp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of https://github.com/Paul-Lez/PH_formalisation .github/workflows/push.yml #18: Commit b1f5c2a pushed by eu-robert
November 30, 2024 21:14 5m 28s master
master
November 30, 2024 21:14 5m 28s
Fix import issue .github/workflows/push.yml #17: Commit 05f1ecf pushed by Paul-Lez
November 30, 2024 17:52 5m 16s master
master
November 30, 2024 17:52 5m 16s
Merge branch 'master' of https://github.com/Paul-Lez/PH_formalisation .github/workflows/push.yml #16: Commit 98c7a83 pushed by Paul-Lez
November 30, 2024 17:23 1m 16s master
master
November 30, 2024 17:23 1m 16s
Merge branch 'master' of https://github.com/Paul-Lez/PH_formalisation .github/workflows/push.yml #15: Commit ebee6b5 pushed by eu-robert
November 30, 2024 17:03 1m 19s master
master
November 30, 2024 17:03 1m 19s
Start cleaning up and documenting project .github/workflows/push.yml #14: Commit 0304b15 pushed by Paul-Lez
November 30, 2024 16:58 5m 48s master
master
November 30, 2024 16:58 5m 48s
Remove accidental mentions to APAP .github/workflows/push.yml #13: Commit 3e28f5d pushed by YaelDillies
November 29, 2024 16:12 5m 20s master
master
November 29, 2024 16:12 5m 20s
Get the website working .github/workflows/push.yml #12: Commit acdad0a pushed by YaelDillies
November 28, 2024 12:16 5m 19s master
master
November 28, 2024 12:16 5m 19s
Comment out blueprint-specific code for now .github/workflows/push.yml #11: Commit 9d00589 pushed by YaelDillies
November 28, 2024 11:58 14m 55s master
master
November 28, 2024 11:58 14m 55s
Fix the manifest .github/workflows/push.yml #10: Commit 63a7506 pushed by YaelDillies
November 28, 2024 11:40 13m 36s master
master
November 28, 2024 11:40 13m 36s
Require doc-gen .github/workflows/push.yml #9: Commit a3d13fa pushed by YaelDillies
November 28, 2024 11:33 1m 39s master
master
November 28, 2024 11:33 1m 39s
Fix build .github/workflows/push.yml #8: Commit 40ae6d7 pushed by YaelDillies
November 28, 2024 11:20 1m 55s master
master
November 28, 2024 11:20 1m 55s
Sorry-count script .github/workflows/push.yml #7: Commit 0eeff1d pushed by YaelDillies
November 28, 2024 11:10 1m 35s master
master
November 28, 2024 11:10 1m 35s
More gitignore .github/workflows/push.yml #6: Commit e638e62 pushed by YaelDillies
November 28, 2024 11:04 15s master
master
November 28, 2024 11:04 15s
More gitignore .github/workflows/push.yml #5: Commit c6ec432 pushed by YaelDillies
November 28, 2024 11:03 13s master
master
November 28, 2024 11:03 13s
Update .gitignore .github/workflows/push.yml #4: Commit f1d0d6f pushed by Paul-Lez
November 27, 2024 18:57 15s master
master
November 27, 2024 18:57 15s
Removed Latex generated files .github/workflows/push.yml #3: Commit f7633cf pushed by Paul-Lez
November 27, 2024 18:57 19s master
master
November 27, 2024 18:57 19s
Merge branch 'master' of https://github.com/Paul-Lez/PH_formalisation .github/workflows/push.yml #2: Commit ee035e4 pushed by Paul-Lez
November 27, 2024 18:54 15s master
master
November 27, 2024 18:54 15s
Infrastructure pour le site .github/workflows/push.yml #1: Commit 48d5092 pushed by YaelDillies
November 25, 2024 12:52 20s master
master
November 25, 2024 12:52 20s
README Lean Action CI #49: Commit 880903a pushed by YaelDillies
November 25, 2024 12:42 1m 56s master
master
November 25, 2024 12:42 1m 56s
Bump mathlib Lean Action CI #48: Commit 15195c8 pushed by YaelDillies
November 25, 2024 12:31 3m 13s master
master
November 25, 2024 12:31 3m 13s
More API + final work on ToTypeCat Lean Action CI #47: Commit 86d5c70 pushed by eu-robert
November 13, 2024 16:25 1m 18s master
master
November 13, 2024 16:25 1m 18s
Creation of dual order, API to work with Lean Action CI #46: Commit 5fb1eed pushed by eu-robert
November 12, 2024 23:24 1m 28s master
master
November 12, 2024 23:24 1m 28s
Rename to PersistentDecomp Lean Action CI #45: Commit 4bb9af2 pushed by YaelDillies
November 10, 2024 22:16 2m 32s master
master
November 10, 2024 22:16 2m 32s
Bump mathlib Lean Action CI #44: Commit ec4664a pushed by YaelDillies
November 10, 2024 22:11 3m 11s master
master
November 10, 2024 22:11 3m 11s
Merge branch 'master' of https://github.com/Paul-Lez/PH_formalisation Lean Action CI #43: Commit 8d11f2e pushed by Paul-Lez
November 10, 2024 20:16 1m 50s master
master
November 10, 2024 20:16 1m 50s