Skip to content

Actions: mjub/hott

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Version bump GitHub Pages #22: Commit a6a7bbd pushed by mjub
January 10, 2024 08:47 1m 4s primary
primary
January 10, 2024 08:47 1m 4s
Add Nat.v GitHub Pages #21: Commit 3fd16ac pushed by mjub
November 12, 2023 14:51 55s primary
primary
November 12, 2023 14:51 55s
Add Logic.v GitHub Pages #20: Commit 6c84720 pushed by mjub
November 12, 2023 10:28 59s primary
primary
November 12, 2023 10:28 59s
Add Ltac GitHub Pages #19: Commit 816751b pushed by mjub
November 11, 2023 14:21 1m 0s primary
primary
November 11, 2023 14:21 1m 0s
Fix indentation GitHub Pages #18: Commit d39d5d4 pushed by mjub
November 11, 2023 10:38 1m 3s primary
primary
November 11, 2023 10:38 1m 3s
Add the identity types and some refactoring GitHub Pages #17: Commit fa48a08 pushed by mjub
November 11, 2023 10:12 1m 13s primary
primary
November 11, 2023 10:12 1m 13s
Revert back to the previous configuration because I give up GitHub Pages #16: Commit ec4db0e pushed by mjub
November 10, 2023 19:10 57s primary
primary
November 10, 2023 19:10 57s
Merge cloning and building into a single step GitHub Pages #15: Commit f936cee pushed by mjub
November 10, 2023 19:07 47s primary
primary
November 10, 2023 19:07 47s
Force using /home/coq in the build container GitHub Pages #14: Commit 1adccf9 pushed by mjub
November 10, 2023 19:04 1m 7s primary
primary
November 10, 2023 19:04 1m 7s
Clone repository by hand instead of using actions/checkout GitHub Pages #13: Commit bc9e7d3 pushed by mjub
November 10, 2023 19:02 45s primary
primary
November 10, 2023 19:02 45s
Fix chown usage GitHub Pages #12: Commit b78b501 pushed by mjub
November 10, 2023 18:58 1m 13s primary
primary
November 10, 2023 18:58 1m 13s
Ok I lied, I still have some ideas GitHub Pages #11: Commit ea91731 pushed by mjub
November 10, 2023 18:55 58s primary
primary
November 10, 2023 18:55 58s
One last attempt at getting coqorg/coq to work GitHub Pages #10: Commit c4beed0 pushed by mjub
November 10, 2023 18:39 51s primary
primary
November 10, 2023 18:39 51s
Oops, forgot to add --command GitHub Pages #9: Commit 5ec0b69 pushed by mjub
November 10, 2023 18:26 56s primary
primary
November 10, 2023 18:26 56s
Try to start as root, then drop privileges GitHub Pages #8: Commit f92663c pushed by mjub
November 10, 2023 18:21 52s primary
primary
November 10, 2023 18:21 52s
Change file permissions for /home as well GitHub Pages #7: Commit 7c2e689 pushed by mjub
November 10, 2023 18:14 1m 11s primary
primary
November 10, 2023 18:14 1m 11s
Trigger rebuild when updating github-pages.yml GitHub Pages #6: Commit d1a59e3 pushed by mjub
November 10, 2023 18:13 47s primary
primary
November 10, 2023 18:13 47s
Add elimination principle for ∑-types and projections GitHub Pages #5: Commit a8c61de pushed by mjub
November 10, 2023 18:01 49s primary
primary
November 10, 2023 18:01 49s
Add the cartesian product of types GitHub Pages #4: Commit d718aa1 pushed by mjub
November 10, 2023 13:37 1m 8s primary
primary
November 10, 2023 13:37 1m 8s
Add ∏-types and ∑-types GitHub Pages #3: Commit 7913718 pushed by mjub
November 10, 2023 13:28 48s primary
primary
November 10, 2023 13:28 48s
Populate repository GitHub Pages #2: Commit 7d467ae pushed by mjub
November 9, 2023 11:35 1m 21s primary
primary
November 9, 2023 11:35 1m 21s
Initial commit GitHub Pages #1: Commit e6065da pushed by mjub
November 9, 2023 10:54 1m 59s primary
primary
November 9, 2023 10:54 1m 59s