Skip to content

Actions: UniMath/Computability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
GitHub Actions is currently disabled for this repository. Please reach out to GitHub Support for assistance.
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Computability CI Computability #35: Scheduled
May 6, 2025 03:14 16m 51s master
master
May 6, 2025 03:14 16m 51s
CI Computability CI Computability #34: Scheduled
April 29, 2025 03:12 17m 34s master
master
April 29, 2025 03:12 17m 34s
CI Computability CI Computability #33: Scheduled
April 22, 2025 03:10 17m 38s master
master
April 22, 2025 03:10 17m 38s
CI Computability CI Computability #32: Scheduled
April 15, 2025 03:11 14m 43s master
master
April 15, 2025 03:11 14m 43s
CI Computability CI Computability #31: Scheduled
April 8, 2025 03:06 14m 42s master
master
April 8, 2025 03:06 14m 42s
CI Computability CI Computability #30: Scheduled
April 1, 2025 03:16 14m 54s master
master
April 1, 2025 03:16 14m 54s
CI Computability CI Computability #29: Scheduled
March 25, 2025 03:05 15m 1s master
master
March 25, 2025 03:05 15m 1s
CI Computability CI Computability #28: Scheduled
March 18, 2025 03:04 14m 36s master
master
March 18, 2025 03:04 14m 36s
CI Computability CI Computability #27: Scheduled
March 11, 2025 03:02 14m 35s master
master
March 11, 2025 03:02 14m 35s
CI Computability CI Computability #26: Scheduled
March 4, 2025 03:01 15m 18s master
master
March 4, 2025 03:01 15m 18s
CI Computability CI Computability #25: Scheduled
February 25, 2025 02:59 18m 23s master
master
February 25, 2025 02:59 18m 23s
CI Computability CI Computability #24: Scheduled
February 18, 2025 02:54 14m 52s master
master
February 18, 2025 02:54 14m 52s
CI Computability CI Computability #23: Scheduled
February 11, 2025 02:55 15m 37s master
master
February 11, 2025 02:55 15m 37s
CI Computability CI Computability #22: Scheduled
February 4, 2025 02:52 10m 42s master
master
February 4, 2025 02:52 10m 42s
CI Computability CI Computability #21: Scheduled
January 28, 2025 02:51 11m 1s master
master
January 28, 2025 02:51 11m 1s
CI Computability CI Computability #20: Scheduled
January 21, 2025 02:51 8m 22s master
master
January 21, 2025 02:51 8m 22s
CI Computability CI Computability #19: Scheduled
January 14, 2025 02:49 8m 32s master
master
January 14, 2025 02:49 8m 32s
CI Computability CI Computability #18: Scheduled
January 7, 2025 02:57 8m 16s master
master
January 7, 2025 02:57 8m 16s
CI Computability CI Computability #17: Scheduled
December 31, 2024 02:54 8m 36s master
master
December 31, 2024 02:54 8m 36s
CI Computability CI Computability #16: Scheduled
December 24, 2024 02:55 14m 41s master
master
December 24, 2024 02:55 14m 41s
Merge pull request #3 from UniMath/enumerability CI Computability #15: Commit 007de93 pushed by klinashka
December 23, 2024 23:04 8m 22s master
master
December 23, 2024 23:04 8m 22s
Enumerability CI Computability #14: Pull request #3 synchronize by klinashka
December 23, 2024 22:56 8m 22s enumerability
enumerability
December 23, 2024 22:56 8m 22s
Enumerability CI Computability #13: Pull request #3 opened by klinashka
December 23, 2024 22:45 8m 4s enumerability
enumerability
December 23, 2024 22:45 8m 4s
Merge pull request #2 from UniMath/lists CI Computability #12: Commit 95c181f pushed by klinashka
December 19, 2024 16:55 8m 27s master
master
December 19, 2024 16:55 8m 27s
Lists CI Computability #11: Pull request #2 synchronize by klinashka
December 19, 2024 16:46 8m 34s lists
lists
December 19, 2024 16:46 8m 34s