Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,839 workflow runs
1,839 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #333: by github-pages bot
December 19, 2024 21:08 49s gh-pages
gh-pages
December 19, 2024 21:08 49s
Merge pull request #2160 from Alizter/ps/rr/remove_nullhomotopy_from_… CI #3107: Commit d1372ad pushed by Alizter
December 19, 2024 20:48 20m 1s master
master
December 19, 2024 20:48 20m 1s
remove NullHomotopy from STYLE.md CI #3106: Pull request #2160 synchronize by Alizter
December 19, 2024 18:48 19m 38s Alizter:ps/rr/remove_nullhomotopy_from_style_md
Alizter:ps/rr/remove_nullhomotopy_from_style_md
December 19, 2024 18:48 19m 38s
remove NullHomotopy from STYLE.md CI #3105: Pull request #2160 opened by Alizter
December 19, 2024 18:44 4m 28s Alizter:ps/rr/remove_nullhomotopy_from_style_md
Alizter:ps/rr/remove_nullhomotopy_from_style_md
December 19, 2024 18:44 4m 28s
mathclasses improvements (^ for group inverses) CI #3104: Pull request #2159 synchronize by jdchristensen
December 19, 2024 18:21 20m 0s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 18:21 20m 0s
mathclasses improvements (^ for group inverses) CI #3103: Pull request #2159 synchronize by Alizter
December 19, 2024 18:16 5m 54s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 18:16 5m 54s
mathclasses improvements (^ for group inverses) CI #3102: Pull request #2159 synchronize by Alizter
December 19, 2024 17:47 19m 37s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 17:47 19m 37s
mathclasses improvements (^ for group inverses) CI #3101: Pull request #2159 synchronize by Alizter
December 19, 2024 17:37 10m 22s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 17:37 10m 22s
mathclasses improvements (^ for group inverses) CI #3100: Pull request #2159 synchronize by Alizter
December 19, 2024 15:58 20m 12s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 15:58 20m 12s
mathclasses improvements (^ for group inverses) CI #3099: Pull request #2159 synchronize by Alizter
December 19, 2024 15:46 12m 32s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 15:46 12m 32s
mathclasses improvements (^ for group inverses) CI #3098: Pull request #2159 synchronize by jdchristensen
December 19, 2024 15:19 19m 19s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 15:19 19m 19s
mathclasses improvements (^ for group inverses) CI #3097: Pull request #2159 synchronize by Alizter
December 19, 2024 04:13 19m 27s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 04:13 19m 27s
mathclasses improvements (^ for group inverses) CI #3096: Pull request #2159 synchronize by Alizter
December 19, 2024 04:00 13m 18s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 04:00 13m 18s
mathclasses improvements (^ for group inverses) CI #3095: Pull request #2159 synchronize by jdchristensen
December 19, 2024 01:20 19m 15s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 01:20 19m 15s
mathclasses improvements (^ for group inverses) CI #3094: Pull request #2159 synchronize by Alizter
December 19, 2024 00:01 5m 17s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 00:01 5m 17s
mathclasses improvements (^ for group inverses) CI #3093: Pull request #2159 opened by Alizter
December 19, 2024 00:00 1m 44s Alizter:mathclasses-improvements
Alizter:mathclasses-improvements
December 19, 2024 00:00 1m 44s
pages build and deployment pages-build-deployment #332: by github-pages bot
December 17, 2024 18:44 1m 2s gh-pages
gh-pages
December 17, 2024 18:44 1m 2s
Merge pull request #2153 from doolster/InjectiveTypesPR CI #3092: Commit d9f740d pushed by jdchristensen
December 17, 2024 18:24 20m 15s master
master
December 17, 2024 18:24 20m 15s
Injective Types CI #3091: Pull request #2153 synchronize by doolster
December 17, 2024 17:42 19m 33s doolster:InjectiveTypesPR
doolster:InjectiveTypesPR
December 17, 2024 17:42 19m 33s
Injective Types CI #3088: Pull request #2153 synchronize by doolster
December 17, 2024 16:35 19m 25s doolster:InjectiveTypesPR
doolster:InjectiveTypesPR
December 17, 2024 16:35 19m 25s
pages build and deployment pages-build-deployment #331: by github-pages bot
December 16, 2024 17:53 51s gh-pages
gh-pages
December 16, 2024 17:53 51s
Merge pull request #2158 from Alizter/ps/rr/move_nullhomotopy_v_to_ho… CI #3087: Commit 50d5e54 pushed by Alizter
December 16, 2024 17:33 19m 52s master
master
December 16, 2024 17:33 19m 52s
Merge pull request #2157 from Alizter/ps/rr/cleanup__remove_misc_v CI #3086: Commit b308349 pushed by Alizter
December 16, 2024 17:33 36s master
master
December 16, 2024 17:33 36s
move NullHomotopy.v to Homotopy/ CI #3085: Pull request #2158 opened by Alizter
December 16, 2024 16:57 19m 20s Alizter:ps/rr/move_nullhomotopy_v_to_homotopy_
Alizter:ps/rr/move_nullhomotopy_v_to_homotopy_
December 16, 2024 16:57 19m 20s
cleanup: remove Misc.v CI #3084: Pull request #2157 opened by Alizter
December 16, 2024 16:43 19m 6s Alizter:ps/rr/cleanup__remove_misc_v
Alizter:ps/rr/cleanup__remove_misc_v
December 16, 2024 16:43 19m 6s