Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
digitable-lol
/
flang
Public
Notifications
You must be signed in to change notification settings
Fork
1
Star
6
Code
Issues
2
Pull requests
9
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
Actions: digitable-lol/flang
Actions
All workflows
Workflows
Binary
Binary
Commit messages
Commit messages
Docs site
Docs site
Install path
Install path
Lean crosscheck
Lean crosscheck
macOS build
macOS build
Provability
Provability
Release
Release
Reprint
Reprint
Stdlib proof
Stdlib proof
Show more workflows...
Management
Caches
Deployments
Install path
Install path
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
install-path.yml
will be ignored since log searching is not yet available
225 workflow runs
225 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Registry: the lock closes every form and resolution is proved by a corpus
Install path
#225:
Pull request
#330
opened by
the-homeless-god
21m 41s
a/the-registry-properties-and-the-js-twin
a/the-registry-properties-and-the-js-twin
21m 41s
View #330
View workflow file
docs(reprint): the ledger carries four runs and the cost is 4736 s
Install path
#224:
Pull request
#323
synchronize by
the-homeless-god
32m 32s
a/user-stories-and-the-reprint-ledger
a/user-stories-and-the-reprint-ledger
32m 32s
View #323
View workflow file
docs(reprint): the ledger carries four runs and the cost is 4736 s
Install path
#223:
Pull request
#323
synchronize by
the-homeless-god
28m 39s
a/user-stories-and-the-reprint-ledger
a/user-stories-and-the-reprint-ledger
28m 39s
View #323
View workflow file
fix(repl): check asks the plan judge and twelve forgeries fail
Install path
#222:
Pull request
#326
opened by
the-homeless-god
34m 13s
a/check-asks-the-plan-judge
a/check-asks-the-plan-judge
34m 13s
View #326
View workflow file
refactor(guards): the hand-written list census is a plan, not a shell
Install path
#221:
Pull request
#325
opened by
the-homeless-god
15m 25s
a/hand-written-lists-to-plan
a/hand-written-lists-to-plan
15m 25s
View #325
View workflow file
Five of the disabled CI jobs go green
Install path
#220:
Pull request
#322
opened by
the-homeless-god
20m 57s
a/five-red-ci-jobs-go-green
a/five-red-ci-jobs-go-green
20m 57s
View #322
View workflow file
feat(stdlib): russian morphology answers a dictionary entry or a gap
Install path
#219:
Pull request
#313
synchronize by
the-homeless-god
19m 44s
a/russian-morphology-for-syllogisms
a/russian-morphology-for-syllogisms
19m 44s
View #313
View workflow file
fix(lsp): the read fix and its reseed reach dev
Install path
#218:
Pull request
#317
opened by
the-homeless-god
12m 14s
a/the-lsp-read-fix-reaches-dev
a/the-lsp-read-fix-reaches-dev
12m 14s
View #317
View workflow file
feat(site): the registry page is printed from the ledger
Install path
#217:
Pull request
#316
opened by
the-homeless-god
14m 22s
a/registry-on-pages
a/registry-on-pages
14m 22s
View #316
View workflow file
refactor(guards): two shell guards are checked by proved plans
Install path
#216:
Pull request
#312
synchronize by
the-homeless-god
11m 53s
a/share-and-forgery-guards-to-plans
a/share-and-forgery-guards-to-plans
11m 53s
View #312
View workflow file
feat(stdlib): russian morphology answers a dictionary entry or a gap
Install path
#215:
Pull request
#313
synchronize by
the-homeless-god
23m 15s
a/russian-morphology-for-syllogisms
a/russian-morphology-for-syllogisms
23m 15s
View #313
View workflow file
feat(stdlib): russian morphology answers a dictionary entry or a gap
Install path
#214:
Pull request
#313
synchronize by
the-homeless-god
29m 4s
a/russian-morphology-for-syllogisms
a/russian-morphology-for-syllogisms
29m 4s
View #313
View workflow file
refactor(guards): two shell guards are checked by proved plans
Install path
#213:
Pull request
#312
synchronize by
the-homeless-god
23m 29s
a/share-and-forgery-guards-to-plans
a/share-and-forgery-guards-to-plans
23m 29s
View #312
View workflow file
refactor(translation): the matcher suite is a proved plan with 32 probes
Install path
#212:
Pull request
#310
synchronize by
the-homeless-god
20m 29s
a/translation-run-to-plan
a/translation-run-to-plan
20m 29s
View #310
View workflow file
feat(stdlib): russian morphology answers a dictionary entry or a gap
Install path
#211:
Pull request
#313
opened by
the-homeless-god
27m 53s
a/russian-morphology-for-syllogisms
a/russian-morphology-for-syllogisms
27m 53s
View #313
View workflow file
refactor(guards): two shell guards are checked by proved plans
Install path
#210:
Pull request
#312
synchronize by
the-homeless-god
14m 10s
a/share-and-forgery-guards-to-plans
a/share-and-forgery-guards-to-plans
14m 10s
View #312
View workflow file
refactor(guards): two shell guards are checked by proved plans
Install path
#209:
Pull request
#312
opened by
the-homeless-god
15m 26s
a/share-and-forgery-guards-to-plans
a/share-and-forgery-guards-to-plans
15m 26s
View #312
View workflow file
refactor(guards): three shell and JavaScript tools become proved plans
Install path
#208:
Pull request
#307
synchronize by
the-homeless-god
15m 54s
a/migrate-shell-to-plans
a/migrate-shell-to-plans
15m 54s
View #307
View workflow file
refactor(guards): three shell and JavaScript tools become proved plans
Install path
#207:
Pull request
#307
opened by
the-homeless-god
28m 38s
a/migrate-shell-to-plans
a/migrate-shell-to-plans
28m 38s
View #307
View workflow file
docs(tasks): 8398 has one cause and a probe that reds today
Install path
#206:
Pull request
#300
synchronize by
the-homeless-god
29m 50s
a/8398-twelve-wrong-programs
a/8398-twelve-wrong-programs
29m 50s
View #300
View workflow file
fix(repl): the refusal names imported modules instead of denying a cause
Install path
#205:
Pull request
#299
synchronize by
the-homeless-god
36m 10s
a/7080-exact-fractions-run
a/7080-exact-fractions-run
36m 10s
View #299
View workflow file
fix(lsp): answer while stdin is open and decode \uXXXX in JSON
Install path
#204:
Pull request
#295
synchronize by
MyWWWChat
21m 13s
MyWWWChat:fix/lsp-answers-while-stdin-open
MyWWWChat:fix/lsp-answers-while-stdin-open
21m 13s
View #295
View workflow file
docs(tasks): 8398 has one cause and a probe that reds today
Install path
#203:
Pull request
#300
opened by
the-homeless-god
50m 39s
a/8398-twelve-wrong-programs
a/8398-twelve-wrong-programs
50m 39s
View #300
View workflow file
fix(repl): the refusal names imported modules instead of denying a cause
Install path
#202:
Pull request
#299
opened by
the-homeless-god
28m 18s
a/7080-exact-fractions-run
a/7080-exact-fractions-run
28m 18s
View #299
View workflow file
fix(lsp): answer while stdin is open and decode \uXXXX in JSON
Install path
#201:
Pull request
#295
synchronize by
MyWWWChat
16m 52s
MyWWWChat:fix/lsp-answers-while-stdin-open
MyWWWChat:fix/lsp-answers-while-stdin-open
16m 52s
View #295
View workflow file
Previous
1
2
3
4
5
…
8
9
Next
You can’t perform that action at this time.