Skip to content

Actions: fredrik-bakke/agda-unimath

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
102 workflow runs
102 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Isomorphisms Clean up caches generated by pull requests #5: Pull request #7 closed by fredrik-bakke
April 1, 2024 11:14 14s VojtechStep:wild-(∞,∞)-precategories
VojtechStep:wild-(∞,∞)-precategories
April 1, 2024 11:14 14s
Refactoring positive integers (#1059) Build and deploy library website #70: Commit 2cda020 pushed by fredrik-bakke
March 28, 2024 14:16 27m 43s master
master
March 28, 2024 14:16 27m 43s
Refactoring positive integers (#1059) agda-unimath CI #70: Commit 2cda020 pushed by fredrik-bakke
March 28, 2024 14:16 18m 42s master
master
March 28, 2024 14:16 18m 42s
Refactoring positive integers (#1059) Profile Library Typechecking #1: Commit 2cda020 pushed by fredrik-bakke
March 28, 2024 14:16 10m 47s master
master
March 28, 2024 14:16 10m 47s
Remove author information from graphs Clean up caches generated by pull requests #4: Pull request #6 closed by fredrik-bakke
February 22, 2024 17:20 20s VojtechStep:profiling
VojtechStep:profiling
February 22, 2024 17:20 20s
Use hosting storage instead of GitHub cache Clean up caches generated by pull requests #3: Pull request #5 closed by fredrik-bakke
February 22, 2024 16:20 13s VojtechStep:profiling
VojtechStep:profiling
February 22, 2024 16:20 13s
Benchmarking deployment Clean up caches generated by pull requests #2: Pull request #4 closed by VojtechStep
February 22, 2024 15:10 15s VojtechStep:profiling
VojtechStep:profiling
February 22, 2024 15:10 15s
Bump nixpkgs for Agda 2.6.4 Clean up caches generated by pull requests #1: Pull request #3 closed by fredrik-bakke
November 14, 2023 14:58 18s VojtechStep:agda-v2.6.4
VojtechStep:agda-v2.6.4
November 14, 2023 14:58 18s
Merge branch 'UniMath:master' into master agda-unimath CI #69: Commit 01c6641 pushed by fredrik-bakke
September 17, 2023 23:19 13m 53s master
master
September 17, 2023 23:19 13m 53s
Merge branch 'UniMath:master' into master Build and deploy library website #69: Commit 01c6641 pushed by fredrik-bakke
September 17, 2023 23:19 27m 56s master
master
September 17, 2023 23:19 27m 56s
Merge branch 'UniMath:master' into master agda-unimath CI #68: Commit ff08a1b pushed by fredrik-bakke
August 22, 2023 11:44 13m 50s master
master
August 22, 2023 11:44 13m 50s
Merge branch 'UniMath:master' into master Build and deploy library website #68: Commit ff08a1b pushed by fredrik-bakke
August 22, 2023 11:44 37m 12s master
master
August 22, 2023 11:44 37m 12s
Merge branch 'UniMath:master' into master agda-unimath CI #67: Commit 0b1af53 pushed by fredrik-bakke
June 25, 2023 11:13 1m 8s master
master
June 25, 2023 11:13 1m 8s
Merge branch 'UniMath:master' into master Build and deploy library website #67: Commit 0b1af53 pushed by fredrik-bakke
June 25, 2023 11:13 5m 18s master
master
June 25, 2023 11:13 5m 18s
Merge branch 'UniMath:master' into master Build and deploy library website #66: Commit 0b1af53 pushed by fredrik-bakke
June 25, 2023 11:13 6m 42s master
master
June 25, 2023 11:13 6m 42s
Merge branch 'UniMath:master' into master agda-unimath CI #66: Commit 0b1af53 pushed by fredrik-bakke
June 25, 2023 11:13 1m 11s master
master
June 25, 2023 11:13 1m 11s
Merge branch 'master' into master agda-unimath CI #65: Commit dc8e41a pushed by EgbertRijke
June 25, 2023 10:53 1m 41s master
master
June 25, 2023 10:53 1m 41s
Merge branch 'master' into master Build and deploy library website #65: Commit dc8e41a pushed by EgbertRijke
June 25, 2023 10:53 6m 23s master
master
June 25, 2023 10:53 6m 23s
actually properly align where agda-unimath CI #64: Commit 7773dd0 pushed by fredrik-bakke
June 25, 2023 10:32 10m 3s master
master
June 25, 2023 10:32 10m 3s
actually properly align where Build and deploy library website #64: Commit 7773dd0 pushed by fredrik-bakke
June 25, 2023 10:32 15m 50s master
master
June 25, 2023 10:32 15m 50s
Merge branch 'master' into master agda-unimath CI #63: Commit f27b3f4 pushed by fredrik-bakke
June 24, 2023 23:26 1m 23s master
master
June 24, 2023 23:26 1m 23s
Merge branch 'master' into master Build and deploy library website #63: Commit f27b3f4 pushed by fredrik-bakke
June 24, 2023 23:26 5m 27s master
master
June 24, 2023 23:26 5m 27s
more adjustments HOWTO-INSTALL#Contributing agda-unimath CI #62: Commit e124692 pushed by fredrik-bakke
June 24, 2023 11:04 1m 18s master
master
June 24, 2023 11:04 1m 18s
more adjustments HOWTO-INSTALL#Contributing Build and deploy library website #62: Commit e124692 pushed by fredrik-bakke
June 24, 2023 11:04 5m 46s master
master
June 24, 2023 11:04 5m 46s
adjustments HOWTO-INSTALL#Contributing agda-unimath CI #61: Commit a5a6eab pushed by fredrik-bakke
June 24, 2023 11:00 1m 13s master
master
June 24, 2023 11:00 1m 13s