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 }}
hernanponcedeleon
/
Dat3M
Public
Notifications
You must be signed in to change notification settings
Fork
39
Star
125
Code
Issues
24
Pull requests
20
Discussions
Actions
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Security and quality
Insights
Actions: hernanponcedeleon/Dat3M
Actions
All workflows
Workflows
Build
Build
Enforce PR base branch
Enforce PR base branch
Generate performance report
Generate performance report
Performance regression
Performance regression
Publish performance report
Publish performance report
Show more workflows...
Management
Caches
All workflows
All workflows
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
Showing runs from all workflows
will be ignored since log searching is not yet available
1,148 workflow runs
1,148 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
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.
Allow to pass compiler flags via CFLAGS
Generate performance report
#65:
Pull request
#1112
opened by
hernanponcedeleon
In progress
cflags
cflags
In progress
View #1112
View workflow file
Allow to pass compiler flags via CFLAGS
Build
#4831:
Pull request
#1112
opened by
hernanponcedeleon
In progress
cflags
cflags
In progress
View #1112
View workflow file
Publish performance report
Publish performance report
#56:
completed by
xeren
13s
13s
View workflow file
[DRAFT] Reorganize unit tests
Build
#4830:
Pull request
#1089
synchronize by
xeren
40m 27s
refactorUnitTests
refactorUnitTests
40m 27s
View #1089
View workflow file
[DRAFT] Reorganize unit tests
Generate performance report
#64:
Pull request
#1089
synchronize by
xeren
1h 34m 1s
refactorUnitTests
refactorUnitTests
1h 34m 1s
View #1089
View workflow file
Publish performance report
Publish performance report
#55:
completed by
xeren
12s
12s
View workflow file
Publish performance report
Publish performance report
#54:
completed by
xeren
1s
1s
View workflow file
[DRAFT] Reorganize unit tests
Build
#4829:
Pull request
#1089
synchronize by
xeren
1h 3m 28s
refactorUnitTests
refactorUnitTests
1h 3m 28s
View #1089
View workflow file
[DRAFT] Reorganize unit tests
Generate performance report
#63:
Pull request
#1089
synchronize by
xeren
1h 46m 19s
refactorUnitTests
refactorUnitTests
1h 46m 19s
View #1089
View workflow file
[DRAFT] Reorganize unit tests
Generate performance report
#62:
Pull request
#1089
synchronize by
xeren
48m 3s
refactorUnitTests
refactorUnitTests
48m 3s
View #1089
View workflow file
[DRAFT] Reorganize unit tests
Build
#4828:
Pull request
#1089
synchronize by
xeren
48m 18s
refactorUnitTests
refactorUnitTests
48m 18s
View #1089
View workflow file
Publish performance report
Publish performance report
#53:
completed by
ThomasHaas
12s
12s
View workflow file
Publish performance report
Publish performance report
#52:
completed by
hernanponcedeleon
12s
12s
View workflow file
Metadata refactor & guidelines
Build
#4827:
Pull request
#1107
synchronize by
ThomasHaas
22m 50s
metadataRefactor
metadataRefactor
22m 50s
View #1107
View workflow file
Metadata refactor & guidelines
Generate performance report
#61:
Pull request
#1107
synchronize by
ThomasHaas
1h 13m 2s
metadataRefactor
metadataRefactor
1h 13m 2s
View #1107
View workflow file
Relax diff labels rule for conditional jumps prior to SPIRV 1.6
Generate performance report
#60:
Pull request
#1111
opened by
hernanponcedeleon
1h 25m 7s
spirv-same-labels-rule
spirv-same-labels-rule
1h 25m 7s
View #1111
View workflow file
Relax diff labels rule for conditional jumps prior to SPIRV 1.6
Build
#4826:
Pull request
#1111
opened by
hernanponcedeleon
53m 40s
spirv-same-labels-rule
spirv-same-labels-rule
53m 40s
View #1111
View workflow file
Fix unordered floating-point comparison encoding (#1108)
Build
#4825:
Commit
4309d24
pushed by
hernanponcedeleon
42m 17s
development
development
42m 17s
View workflow file
[SPIRV] Relax diff labels rule for conditional jumps prior to SPIRV 1.6
Build
#4824:
Commit
2747699
pushed by
hernanponcedeleon
2m 11s
development
development
2m 11s
View workflow file
Publish performance report
Publish performance report
#51:
completed by
hernanponcedeleon
10s
10s
View workflow file
[SPIRV] Add support for floats
Build
#4823:
Pull request
#1109
opened by
hernanponcedeleon
45m 44s
spirv-floats
spirv-floats
45m 44s
View #1109
View workflow file
[SPIRV] Add support for floats
Generate performance report
#59:
Pull request
#1109
opened by
hernanponcedeleon
1h 31m 28s
spirv-floats
spirv-floats
1h 31m 28s
View #1109
View workflow file
Publish performance report
Publish performance report
#50:
completed by
ThomasHaas
11s
11s
View workflow file
Publish performance report
Publish performance report
#49:
completed by
ThomasHaas
1s
1s
View workflow file
Metadata refactor & guidelines
Generate performance report
#58:
Pull request
#1107
synchronize by
ThomasHaas
1h 20m 53s
metadataRefactor
metadataRefactor
1h 20m 53s
View #1107
View workflow file
Previous
1
2
3
4
5
…
45
46
Next
You can’t perform that action at this time.