Skip to content

Actions: PHart3/colimits-agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small cosmetic stuff Docker #38: Pull request #12 opened by PHart3
February 12, 2025 16:32 57m 23s very_tiny
very_tiny
February 12, 2025 16:32 57m 23s
More cosmetic changes Docker #37: Pull request #11 synchronize by PHart3
February 1, 2025 19:01 56m 50s big_cleaning
big_cleaning
February 1, 2025 19:01 56m 50s
More cosmetic changes Docker #36: Pull request #11 opened by PHart3
February 1, 2025 18:10 55m 6s big_cleaning
big_cleaning
February 1, 2025 18:10 55m 6s
2-coherence of truncation, newer Agda version, etc. Docker #35: Pull request #9 synchronize by PHart3
December 15, 2024 23:05 55m 39s trunc_coher
trunc_coher
December 15, 2024 23:05 55m 39s
2-coherence of truncation, newer Agda version, etc. Docker #34: Pull request #9 synchronize by PHart3
December 15, 2024 21:04 50m 52s trunc_coher
trunc_coher
December 15, 2024 21:04 50m 52s
A few local updates Docker #33: Pull request #10 opened by PHart3
December 15, 2024 20:59 51m 34s updates
updates
December 15, 2024 20:59 51m 34s
2-coherence of truncation, newer Agda version, etc. Docker #32: Pull request #9 synchronize by PHart3
December 15, 2024 19:11 1h 8m 17s trunc_coher
trunc_coher
December 15, 2024 19:11 1h 8m 17s
2-coherence of truncation, newer Agda version, etc. Docker #31: Pull request #9 opened by PHart3
December 15, 2024 19:07 1h 9m 47s trunc_coher
trunc_coher
December 15, 2024 19:07 1h 9m 47s
2-coherence of Suspension-Loop adjunction Docker #30: Pull request #8 synchronize by PHart3
December 4, 2024 17:24 59m 45s 2_coher
2_coher
December 4, 2024 17:24 59m 45s
2-coherence of Suspension-Loop adjunction Docker #29: Pull request #8 synchronize by PHart3
December 4, 2024 17:05 1m 6s 2_coher
2_coher
December 4, 2024 17:05 1m 6s
2-coherence of Suspension-Loop adjunction Docker #28: Pull request #8 synchronize by PHart3
December 4, 2024 17:02 1m 11s 2_coher
2_coher
December 4, 2024 17:02 1m 11s
2-coherence of Suspension-Loop adjunction Docker #27: Pull request #8 opened by PHart3
December 4, 2024 04:01 1h 16m 14s 2_coher
2_coher
December 4, 2024 04:01 1h 16m 14s
fix(Dockerfile): proper comments Docker #26: Pull request #7 opened by favonia
November 24, 2024 14:05 1h 12m 36s correct-Docker-comments
correct-Docker-comments
November 24, 2024 14:05 1h 12m 36s
Minor touch-up and updating paper references Docker #25: Pull request #6 opened by PHart3
November 21, 2024 05:33 1h 14m 6s touch_up
touch_up
November 21, 2024 05:33 1h 14m 6s
Clean up on pushout file and workflow change Docker #24: Pull request #5 opened by PHart3
November 11, 2024 18:01 1h 13m 42s more_clean_up
more_clean_up
November 11, 2024 18:01 1h 13m 42s
various small cosmetic changes (#4) Docker #23: Commit 314cd8c pushed by PHart3
November 2, 2024 14:52 56m 53s main
main
November 2, 2024 14:52 56m 53s
various small cosmetic changes Docker #22: Pull request #4 synchronize by PHart3
November 2, 2024 14:51 1m 21s tiny_changes
tiny_changes
November 2, 2024 14:51 1m 21s
various small cosmetic changes Docker #21: Pull request #4 synchronize by PHart3
November 1, 2024 22:04 56m 9s tiny_changes
tiny_changes
November 1, 2024 22:04 56m 9s
various small cosmetic changes Docker #20: Pull request #4 opened by PHart3
November 1, 2024 21:24 56m 0s tiny_changes
tiny_changes
November 1, 2024 21:24 56m 0s
Simpler proof of naturality square (#3) Docker #19: Commit b132526 pushed by PHart3
October 26, 2024 03:27 1h 12m 0s main
main
October 26, 2024 03:27 1h 12m 0s
Simpler proof of naturality square Docker #18: Pull request #3 synchronize by PHart3
October 26, 2024 03:24 1m 41s simpler_eq
simpler_eq
October 26, 2024 03:24 1m 41s
Simpler proof of naturality square Docker #17: Pull request #3 synchronize by PHart3
October 25, 2024 21:45 1h 11m 29s simpler_eq
simpler_eq
October 25, 2024 21:45 1h 11m 29s
Simpler proof of naturality square Docker #16: Pull request #3 synchronize by PHart3
October 25, 2024 20:30 1m 18s simpler_eq
simpler_eq
October 25, 2024 20:30 1m 18s
Simpler proof of naturality square Docker #15: Pull request #3 opened by PHart3
October 25, 2024 17:28 7m 36s simpler_eq
simpler_eq
October 25, 2024 17:28 7m 36s
adding pullback stability (#2) Docker #14: Commit 53ef7b0 pushed by PHart3
October 8, 2024 16:08 57m 20s main
main
October 8, 2024 16:08 57m 20s