Skip to content

Actions: UniMath/Computability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CI Computability CI Computability #10: Scheduled
December 17, 2024 03:07 8m 19s master
master
December 17, 2024 03:07 8m 19s
CI Computability CI Computability #9: Scheduled
December 10, 2024 03:11 8m 45s master
master
December 10, 2024 03:11 8m 45s
CI Computability CI Computability #8: Scheduled
December 3, 2024 03:11 8m 53s master
master
December 3, 2024 03:11 8m 53s
CI Computability CI Computability #7: Scheduled
November 26, 2024 03:04 7m 41s master
master
November 26, 2024 03:04 7m 41s
Merge pull request #1 from UniMath/discrete CI Computability #6: Commit 70b331f pushed by klinashka
November 19, 2024 12:04 8m 5s master
master
November 19, 2024 12:04 8m 5s
Discrete CI Computability #5: Pull request #1 opened by klinashka
November 19, 2024 11:43 7m 34s discrete
discrete
November 19, 2024 11:43 7m 34s
CI Computability CI Computability #4: Scheduled
November 19, 2024 03:03 8m 1s master
master
November 19, 2024 03:03 8m 1s
Finalized setup and added some files. CI Computability #3: Commit ccdce1e pushed by klinashka
November 14, 2024 14:11 8m 36s master
master
November 14, 2024 14:11 8m 36s
Add initial import file to test whether the pipeline is working. CI Computability #2: Commit 3a0e18f pushed by klinashka
November 14, 2024 13:03 8m 8s master
master
November 14, 2024 13:03 8m 8s
Initial repository. CI Computability #1: Commit 0b06c2a pushed by klinashka
November 13, 2024 18:22 17m 29s master
master
November 13, 2024 18:22 17m 29s