Skip to content

Actions: bjoernkjoshanssen/hypothesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge branch 'main' of https://github.com/bjoernkjoshanssen/hypothesis Compile blueprint #12: Commit 9d03ba5 pushed by bjoernkjoshanssen
44m 52s main
main
44m 52s
Add Apache License 2.0 Compile blueprint #11: Commit 6dab592 pushed by bjoernkjoshanssen
1m 52s main
main
1m 52s
Add prefix to mathlib reference Compile blueprint #10: Commit 430bb21 pushed by bjoernkjoshanssen
12m 48s main
main
12m 48s
Trying to fix tex mathlib ref errors Compile blueprint #9: Commit e6388e2 pushed by bjoernkjoshanssen
6m 5s main
main
6m 5s
Fix latex errors Compile blueprint #8: Commit 1be8cbd pushed by bjoernkjoshanssen
5m 35s main
main
5m 35s
Add dependencies Compile blueprint #7: Commit 07a59b9 pushed by bjoernkjoshanssen
5m 17s main
main
5m 17s
Update GitHub username and repository in config Compile blueprint #6: Commit 799f774 pushed by bjoernkjoshanssen
43m 36s main
main
43m 36s
Update site URL in configuration file Compile blueprint #5: Commit f96205c pushed by bjoernkjoshanssen
44m 32s main
main
44m 32s
After upgrading mathlib, more sorries Compile blueprint #4: Commit 0338cf4 pushed by bjoernkjoshanssen
47m 11s main
main
47m 11s
lake update Compile blueprint #3: Commit 6d29f5a pushed by bjoernkjoshanssen
3m 38s main
main
3m 38s
Fix yml Compile blueprint #2: Commit 70b03e3 pushed by bjoernkjoshanssen
1m 40s main
main
1m 40s
Setup blueprint Compile blueprint #1: Commit 4ca025c pushed by bjoernkjoshanssen
Failure main
main
Failure